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