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.

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