News and Events: Conferences

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

11-15 September 2007, CSL 2007 (Computer Science Logic), Lausanne, Switzerland

Date: 11-15 September 2007
Location: Lausanne, Switzerland
Deadline: 2 April 2007

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. CSL'07, the 16th annual EACSL conference will be organized in Lausanne by the Western Swiss Center for Logic, History and Philosophy of Sciences, and the University of Lausanne. The Ackermann Award for 2007 is sponsored by Logitech and will be presented to the recipients at CSL'07. A joint session with GAMES 07, the annual meeting of the European Network will take place on 11 September, 2007.

For more information, see http://www.unil.ch/csl07/.

The Programme Committee cordially invites all researchers to submit their papers for presentation. Submission deadline for abstracts is April 2, 2007.

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