International Symposium on Mathematical Foundations of Computer Science

Last updated
International Symposium on Mathematical Foundations of Computer Science
AbbreviationMFCS
Discipline Theoretical computer science
Publication details
Publisher Leibniz Center for Informatics
History1972–
Frequencyannual

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. From 1974 to 2015, conference articles were published in proceedings published by Springer in the Lecture Notes in Computer Science series. Since 2016 the proceedings have been published by the Leibniz International Proceedings in Informatics.

Recent history of the symposium

YearLocationPC chairsProceedings
MFCS 2010 Brno, Czech RepublicPetr Hliněný
Antonín Kučera
LNCS 6281
MFCS 2011 Warsaw, PolandFilip Murlak
Piotr Sankowski
LNCS 6907
MFCS 2012 Bratislava, SlovakiaBranislav Rovan
Vladimiro Sassone
Peter Widmayer
LNCS 7464
MFCS 2013 Klosterneuburg, AustriaKrishnendu Chatterjee
Jiří Sgall
LNCS 8087
MFCS 2014 Budapest, HungaryErzsé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, PolandPiotr Faliszewski
Anca Muscholl
Rolf Niedermeier
LIPIcs 58
MFCS 2017Aalborg, DenmarkKim G. Larsen
Hans L. Bodlaender
Jean-François Raskin
LIPIcs 83
MFCS 2018 Liverpool, UKIgor Potapov
Paul Spirakis
James Worrell
LIPIcs 117
MFCS 2019 Aachen, GermanyPeter Rossmanith
Pinar Heggernes
Joost-Pieter Katoen
LIPIcs 138
MFCS 2020 Prague, Czech Republic Javier Esparza
Daniel Kráľ
LIPIcs 170
MFCS 2021Tallinn, EstoniaFilippo Bonchi
Simon J. Puglisi
LIPIcs 202
MFCS 2022 Vienna, Austria Stefan Szeider
Robert Ganian
Alexandra Silva
LIPIcs 241
MFCS 2023 Bordeaux, FranceSylvain Lombardy
Jérôme Leroux
David Peleg
LIPIcs 272
MFCS 2024 Bratislava, SlovakiaRastislav Královič
Antonín Kučera
LIPIcs 306

References