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

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 mfcsl2010 at fi.muni.cz.