Universiteit van Amsterdam

Events

Institute for Logic, Language and Computation

Please note that this newsitem has been archived, and may contain outdated information or links.

22-25 August 2005, Computer Science Logic (CSL 05), Oxford, England

Date: 22-25 August 2005
Location: Oxford, England

Computer Science Logic (CSL) is the annual conference of the European Association for Computer Science Logic (EACSL). The conference is intended for computer scientists whose research activities involve logic, as well as for logicians working on issues significant for computer science.

For more information, see http://web.comlab.ox.ac.uk/oucl/conferences/CSL05/.

Please note that this newsitem has been archived, and may contain outdated information or links.