General questions about organization, registration, accomodation, etc., should be sent to
Program-related questions should be directed to program committee chairs.
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.