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

Contacts

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

xrebok@fi.muni.cz

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.

Venue

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.

Deadlines

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

Accepted Papers

Contact