MFCS & CSL 2010
Petrov - Cathedral of St. Peter, Brno


General questions about organization, registration, accomodation, etc., should be sent to

Program-related questions should be directed to program committee chairs.

More details

CSL 2010 graphics

19th EACSL Annual Conference on Computer Science Logic

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 Conferences on Computer Science Logic is is organized in parallel with the 35th International Symposium on Mathematical Foundations of Computer Science (MFCS 2010). The federated MFCS & CSL 2010 conference and its satellite workshops will be held in the main building of the Faculty of Informatics of Masaryk University. There will be common plenary sessions and social events, but the technical program and the proceedings are prepared independently.


March 26, 2010
April 2, 2010
Full papers
May 17, 2010
June 6, 2010
Final version

Accepted Papers