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.