International Symposium on Mathematical Foundations of Computer Science

MFCS, the International Symposium on Mathematical Foundations of Computer Science is an academic conference organized annually since 1972. The topics of the conference cover the entire field of theoretical computer science. Up to 2012, the conference was held in different locations in Poland, Czech Republic and Slovakia, but since MFCS 2013, it travels around Europe. All contributions are strongly peer-reviewed. In 1974–2015, the articles appeared in proceedings published by Springer in the Lecture Notes in Computer Science series. Beginning in 2016, the proceedings are instead published by the Leibniz International Proceedings in Informatics.

International Symposium on Mathematical Foundations of Computer Science
Abbreviation	MFCS
Discipline	Theoretical computer science
Publication details
Publisher	Leibniz Center for Informatics
History	1972–
Frequency	annual

Recent history of the symposium

Since 2012, the Steering Committee of the MFCS symposia series is chaired by Antonín Kučera.

Year	Location	PC chairs	Proceedings
MFCS 2010	Brno, Czech Republic	Petr Hliněný Antonín Kučera	LNCS 6281
MFCS 2011	Warsaw, Poland	Filip Murlak Piotr Sankowski	LNCS 6907
MFCS 2012	Bratislava, Slovakia	Branislav Rovan Vladimiro Sassone Peter Widmayer	LNCS 7464
MFCS 2013	Klosterneuburg, Austria	Krishnendu Chatterjee Jiří Sgall	LNCS 8087
MFCS 2014	Budapest, Hungary	Erzsébet Csuhaj-Varjú Martin Dietzfelbinger Zoltán Ésik	LNCS 8634 LNCS 8635
MFCS 2015	Milan, Italy	Giuseppe F. Italiano Giovanni Pighizzini Donald Sannella	LNCS 9234 LNCS 9235
MFCS 2016	Kraków, Poland	Piotr Faliszewski Anca Muscholl Rolf Niedermeier	LIPIcs 58
MFCS 2017	Aalborg, Denmark	Kim G. Larsen Hans L. Bodlaender Jean-François Raskin	LIPIcs 83
MFCS 2018	Liverpool, UK	Igor Potapov Paul Spirakis James Worrell	LIPIcs 117
MFCS 2019	Aachen, Germany	Peter Rossmanith Pinar Heggernes Joost-Pieter Katoen