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-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

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ý Antonín Kučera \| LNCS 6281
[http://mfcs.mimuw.edu.pl/ MFCS 2011] \| Warsaw, Poland \| Filip Murlak Piotr Sankowski \| LNCS 6907
[http://www.mfcs.sk/index.php/Home MFCS 2012] \| Bratislava, Slovakia \| Branislav Rovan Vladimiro Sassone Peter Widmayer \| LNCS 7464
[https://web.archive.org/web/20200128200506/http://ist.ac.at/mfcs13/ MFCS 2013] \| Klosterneuburg, Austria \| Krishnendu Chatterjee Jiří Sgall \| LNCS 8087
[http://www.inf.u-szeged.hu/mfcs2014/ MFCS 2014] \| Budapest, Hungary \| Erzsébet Csuhaj-Varjú Martin Dietzfelbinger Zoltán Ésik \| LNCS 8634 LNCS 8635
[http://mfcs2015.di.unimi.it/ MFCS 2015] \| Milan, Italy \| Giuseppe F. Italiano Giovanni Pighizzini Donald Sannella \| LNCS 9234 LNCS 9235
[http://mfcs.ki.agh.edu.pl/ MFCS 2016] \| Kraków, Poland \| Piotr Faliszewski Anca Muscholl Rolf Niedermeier \| [https://drops.dagstuhl.de/opus/portals/lipics/index.php?semnr=16014 LIPIcs 58]
MFCS 2017 \| Aalborg, Denmark \| Kim G. Larsen Hans L. Bodlaender 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 Paul Spirakis 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 Pinar Heggernes 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 Daniel Kráľ \|[https://drops.dagstuhl.de/opus/portals/lipics/index.php?semnr=16158 LIPIcs 170]
MFCS 2021 \|Tallinn, Estonia \|Filippo Bonchi 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 Robert Ganian 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 Jérôme Leroux David Peleg \|[https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.MFCS.2023 LIPIcs 272]

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ý
Antonín Kučera

| LNCS 6281

[http://mfcs.mimuw.edu.pl/ MFCS 2011]

| Warsaw, Poland

| Filip Murlak
Piotr Sankowski

| LNCS 6907

[http://www.mfcs.sk/index.php/Home MFCS 2012]

| Bratislava, Slovakia

| Branislav Rovan
Vladimiro Sassone
Peter Widmayer

| LNCS 7464

[https://web.archive.org/web/20200128200506/http://ist.ac.at/mfcs13/ MFCS 2013]

| Klosterneuburg, Austria

| Krishnendu Chatterjee
Jiří Sgall

| LNCS 8087

[http://www.inf.u-szeged.hu/mfcs2014/ MFCS 2014]

| Budapest, Hungary

| Erzsébet Csuhaj-Varjú
Martin Dietzfelbinger
Zoltán Ésik

| LNCS 8634
LNCS 8635

[http://mfcs2015.di.unimi.it/ MFCS 2015]

| Milan, Italy

| Giuseppe F. Italiano
Giovanni Pighizzini
Donald Sannella

| LNCS 9234
LNCS 9235

[http://mfcs.ki.agh.edu.pl/ MFCS 2016]

| Kraków, Poland

| Piotr Faliszewski
Anca Muscholl
Rolf Niedermeier

| [https://drops.dagstuhl.de/opus/portals/lipics/index.php?semnr=16014 LIPIcs 58]

MFCS 2017

| Aalborg, Denmark

| Kim G. Larsen
Hans L. Bodlaender
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
Paul Spirakis
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
Pinar Heggernes
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
Daniel Kráľ

|[https://drops.dagstuhl.de/opus/portals/lipics/index.php?semnr=16158 LIPIcs 170]

MFCS 2021

|Tallinn, Estonia

|Filippo Bonchi
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
Robert Ganian
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
Jérôme Leroux
David Peleg

|[https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.MFCS.2023 LIPIcs 272]

References

Category:Theoretical computer science conferences

Category:Recurring events established in 1972