International Symposium on Mathematical Foundations of Computer Science
(Redirected from Mathematical Foundations of Computer Science)
 | This article may rely excessively on sources too closely associated with the subject, potentially preventing the article from being verifiable and neutral. (November 2024) |
| 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 |
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]