Jump to content

International Symposium on Mathematical Foundations of Computer Science

From Wikipedia, the free encyclopedia
International Symposium on Mathematical Foundations of Computer Science
AbbreviationMFCS
DisciplineTheoretical computer science
Publication details
PublisherLeibniz 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

[edit]
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
LIPIcs 138
MFCS 2020 Prague, Czech Republic Javier Esparza
Daniel Kráľ
LIPIcs 170
MFCS 2021 Tallinn, Estonia Filippo Bonchi
Simon J. Puglisi
LIPIcs 202
MFCS 2022 Vienna, Austria Stefan Szeider
Robert Ganian
Alexandra Silva
LIPIcs 241
MFCS 2023 Bordeaux, France Sylvain Lombardy
Jérôme Leroux
David Peleg
LIPIcs 272

References

[edit]