List of Events
Main Conferences
Workshops
List of Workshops
(10)
Proposals for organizing satellite workshops are welcome. Please send an email to mfcsl2010@fi.muni.cz for more details.
Dates and News
Important Dates
- 10 April 2010
- MFCS abstract submission
- 15 April 2010
- MFCS full paper submission
- 21–22 August 2010
- Satellite workshops
- 23–27 August 2010
- MFCS and CSL 2010
- 28–29 August 2010
- Satellite workshops
Flash News
- 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.
International Workshop on Categorical Logic
Aim
The aim of the workshop is to bring together researchers with a common interest in categorical logic and its applications.
Important Dates
- Workshop: 28–29 August 2010
Program Committee