MFCS, the International Symposium on Mathematical Foundations of Computer Science is an

academic conference An academic conference or scientific conference (also congress, symposium, workshop, or meeting) is an event for researchers (not necessarily academics) to present and discuss their scholarly work. Together with academic or scientific journal ...

organized annually since 1972. The topics of the conference cover the entire field of

theoretical computer science computer science (TCS) is a subset of general computer science and mathematics that focuses on mathematical aspects of computer science such as the theory of computation, lambda calculus, and type theory. It is difficult to circumscribe the ...

. 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-review Peer review is the evaluation of work by one or more people with similar competencies as the producers of the work ( peers). It functions as a form of self-regulation by qualified members of a profession within the relevant field. Peer revie ...

ed. From 1974 to 2015, conference articles were published in proceedings published by

Springer Springer or springers may refer to: Publishers * Springer Science+Business Media, aka Springer International Publishing, a worldwide publishing group founded in 1842 in Germany formerly known as Springer-Verlag. ** Springer Nature, a multinationa ...

in the

Lecture Notes in Computer Science ''Lecture Notes in Computer Science'' is a series of computer science books published by Springer Science+Business Media since 1973. Overview The series contains proceedings, post-proceedings, monographs, and Festschrifts. In addition, tutorial ...

series. Since 2016 the proceedings have been published by the

Leibniz International Proceedings in Informatics Dagstuhl is a computer science research center in Germany, located in and named after a district of the town of Wadern, Merzig-Wadern, Saarland. Location Following the model of the mathematical center at Oberwolfach, the center is installed in ...

Recent history of the symposium

the Steering Committee of the MFCS symposia series had been chaired since 2012 by Antonín Kučera.

References

Theoretical computer science conferences Recurring events established in 1972 {{compu-conference-stub