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
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.