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.

12-15 September 2011, 20th Annual Conference on Computer Science Logic (CSL 2011), Bergen, Norway

Date: 12-15 September 2011
Location: Bergen, Norway
Deadline: 27 March 2011

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. The Ackermann Award for 2011 will be presented to the recipients at CSL 2011.

For more information, see http://www.eacsl.org/csl11

Authors are invited to submit papers of not more than 15 pages presenting work not previously published. Submission deadline for abstracts is 27 March 2011. Proposals for satellite workshops on more specialized topics are also welcome.

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