News and Events: Conferences

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

23-27 August 2010, CSL 2010: Computer Science Logic, Brno, Czech Republic

Date: 23-27 August 2010
Location: Brno, Czech Republic
Deadline: 26 March 2010

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 19th EACSL Annual Conference on Computer Science Logic (CSL 2010) and the 35th International Symposium on Mathematical Foundations of Computer Science (MFCS 2010) are federated and organized in parallel at the same place. The federated MFCS & CSL 2010 conference has common plenary sessions and social events for all participants, and is accompanied by satellite workshops on more specialized topics. The Ackermann Award for 2010 will be presented to the recipients at CSL'10.

For more information, see http://www.mat.uc.pt/~csl/ or contact the organisers at .

The Programme Committee cordially invites all researchers to submit their papers for presentation. Submission deadline (title & abstract): March 26, 2010

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