List of Events

Main Conferences

Proposals for organizing satellite workshops are welcome. Please send an email to mfcsl2010@fi.muni.cz for more details.

8 November 2009: Submission dates for MFCS fixed. Check the Important Dates section on the MFCS page.
8 November 2009: New satellite workshop confirmed: Theory and Algorithmic Aspects of Graph Crossing Number.
31 October 2009: New satellite workshop confirmed: Parametrized Complexity of Computational Reasoning.
8 October 2009: New satellite workshop confirmed: Games and Probabilistic Models in Formal Verification.
7 October 2009: Five more satellite workshops confirmed to accompany the main conferences.
8 August 2009: New satellite workshop on Categorical Logic.
30 March 2009: A web site for the MFCS and CSL 2010 conferences has been launched.

In the year 2010, the 19th EACSL Annual Conference on Computer Science Logic (CSL 2010) and the 35th International Symposium on Mathematical Foundations of Computer Science (MFCS 2010) will be organized jointly as one computer science symposium, accompanied by satellite workshops.

The conference and its satellites will be hosted by the Faculty of Informatics, Masaryk University, Brno, Czech Republic.