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

MFCS logotype

35th International Symposium on Mathematical Foundations of Computer Science

The series of MFCS symposia, organized in rotation by Poland, Slovakia, and the Czech Republic since 1972, has a long and well-established tradition. The MFCS symposia encourage high-quality research in all branches of theoretical computer science. Their broad scope provides an opportunity to bring together researchers who do not usually meet at specialized conferences.


The 35th International Symposium on Mathematical Foundations of Computer Science is organized in parallel with the 19th EACSL Annual Conferences on Computer Science Logic (CSL 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. MFCS 2010 proceedings will be published in the new ARCoSS subline of Lecture Notes in Computer Science by Springer-Verlag.


  • Abstracts: April 10, 2010 (closed)
  • Full papers: April 15, 2010 (extended to April 18, 22:00 GMT)
  • Notification: May 28, 2010
  • Final version: June 14, 2010

Accepted papers


  • MFCS 2010 PC chairs: Petr Hliněný, Antonín Kučera
  • MFCS & CSL 2010 OC chair: Jan Bouda
  • Surface mail:
    MFCS 2010
    Faculty of Informatics, Masaryk University,
    Botanická 68a, 60200 Brno, Czech Republic