View source for International Symposium on Mathematical Foundations of Computer Science

{{Short description|Annual theoretical computer science conference}}
{{redirect|MFCS|the boarding K-8 school in Many Farms, Arizona|Many Farms Community School}}
{{Infobox Academic Conference
 | history = 1972–
 | discipline = [[Theoretical computer science]]
 | abbreviation = MFCS
 | publisher = [[Leibniz Center for Informatics]]
 | country= Europe
 | 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-review]]ed. From 1974 to 2015, conference articles were published in proceedings published by [[Springer Science+Business Media|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 ==

{| class="wikitable"
|-
! Year
! Location
! PC chairs
! Proceedings
|-
| [https://web.archive.org/web/20170317040749/http://mfcsl2010.fi.muni.cz/mfcs MFCS 2010]
| Brno, Czech Republic
| Petr Hliněný<br />Antonín Kučera
| LNCS 6281
|-
| [http://mfcs.mimuw.edu.pl/ MFCS 2011]
| Warsaw, Poland
| Filip Murlak<br />Piotr Sankowski
| LNCS 6907
|-
| [http://www.mfcs.sk/index.php/Home MFCS 2012]
| Bratislava, Slovakia
| Branislav Rovan<br />Vladimiro Sassone<br />Peter Widmayer
| LNCS 7464
|-
| [https://web.archive.org/web/20200128200506/http://ist.ac.at/mfcs13/ MFCS 2013]
| Klosterneuburg, Austria
| Krishnendu Chatterjee<br />Jiří Sgall
| LNCS 8087
|-
| [http://www.inf.u-szeged.hu/mfcs2014/ MFCS 2014]
| Budapest, Hungary
| Erzsébet Csuhaj-Varjú<br />Martin Dietzfelbinger<br />Zoltán Ésik
| LNCS 8634 <br /> LNCS 8635
|-
| [http://mfcs2015.di.unimi.it/ MFCS 2015]
| Milan, Italy
| [[Giuseppe F. Italiano]]<br />[[Giovanni Pighizzini]]<br />[[Don Sannella|Donald Sannella]]
| LNCS 9234 <br /> LNCS 9235
|-
| [http://mfcs.ki.agh.edu.pl/ MFCS 2016]
| Kraków, Poland
| Piotr Faliszewski<br />[[Anca Muscholl]]<br />[[Rolf Niedermeier]]
| [https://drops.dagstuhl.de/opus/portals/lipics/index.php?semnr=16014 LIPIcs 58]
|-
| MFCS 2017
| Aalborg, Denmark
| Kim G. Larsen<br />[[Hans L. Bodlaender]]<br />Jean-François Raskin
| [https://drops.dagstuhl.de/opus/portals/lipics/index.php?semnr=16053 LIPIcs 83]
|-
| [http://mfcs2018.csc.liv.ac.uk/ MFCS 2018]
| Liverpool, UK
| Igor Potapov<br />[[Paul Spirakis]]<br />James Worrell
| [https://drops.dagstuhl.de/opus/portals/lipics/index.php?semnr=16085 LIPIcs 117]
|-
| [https://tcs.rwth-aachen.de/mfcs2019/ MFCS 2019]
| Aachen, Germany
| Peter Rossmanith<br />[[Pinar Heggernes]]<br />[[Joost-Pieter Katoen]]
|[https://drops.dagstuhl.de/opus/portals/lipics/index.php?semnr=16119 LIPIcs 138]
|-
|[http://mfcs.mff.cuni.cz/2020/ MFCS 2020]
|Prague, Czech Republic
|[[Javier Esparza]]<br />[[Daniel Kráľ]]
|[https://drops.dagstuhl.de/opus/portals/lipics/index.php?semnr=16158 LIPIcs 170]
|-
|MFCS 2021
|Tallinn, Estonia
|Filippo Bonchi<br />Simon J. Puglisi
|[https://drops.dagstuhl.de/opus/portals/lipics/index.php?semnr=16204 LIPIcs 202]
|-
|[https://ac.tuwien.ac.at/mfcs2022/ MFCS 2022]
|Vienna, Austria
|[[Stefan Szeider]]<br />Robert Ganian<br />[[Alexandra Silva]]
|[https://drops.dagstuhl.de/opus/portals/lipics/index.php?semnr=16252 LIPIcs 241]
|-
|[https://mfcs2023.labri.fr/ MFCS 2023]
|Bordeaux, France
|Sylvain Lombardy<br />Jérôme Leroux<br />[[David Peleg (computer scientist)|David Peleg]]
|[https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.MFCS.2023 LIPIcs 272]
|}

==References==
{{reflist|30em}}
{{Authority control}}

[[Category:Theoretical computer science conferences]]
[[Category:Recurring events established in 1972]]


{{comp-sci-theory-stub}}
{{compu-conference-stub}}