Międzynarodowe Sympozjum Matematyczne Podstawy Informatyki

„MFCS” przekierowuje tutaj. Aby zapoznać się ze szkołą K-8 z internatem w Many Farms w Arizonie, zobacz Many Farms Community School .

Międzynarodowe Sympozjum Matematyczne Podstawy Informatyki
Skrót	MFC
Dyscyplina	Informatyka teoretyczna
Szczegóły publikacji
Wydawca	Centrum Informatyki Leibniza
Historia	1972–
Częstotliwość	coroczny

MFCS , czyli Międzynarodowe Sympozjum Matematycznych Podstaw Informatyki, jest konferencją naukową organizowaną corocznie od 1972 roku. Tematyka konferencji obejmuje całą dziedzinę informatyki teoretycznej . Do 2012 roku konferencja odbywała się w różnych lokalizacjach w Polsce, Czechach i na Słowacji, ale od MFCS 2013 podróżuje po Europie. Wszystkie wkłady są dokładnie recenzowane . W latach 1974-2015 artykuły konferencyjne ukazywały się w materiałach wydawanych przez wydawnictwo Springer w czasopiśmie im Notatki z wykładów z serii Informatyka . Od 2016 roku postępowanie jest publikowane przez Leibniz International Proceedings in Informatics .

Najnowsza historia sympozjum

Od 2022 roku Komitetowi Sterującemu serii sympozjów MFCS przewodniczy od 2012 roku Antonín Kučera.

Rok	Lokalizacja	Krzesła komputerowe	Obrady
MFC 2010	Brno, Czechy	Petr Hliněný Antonín Kučera	LNCS 6281
MFC 2011	Warszawa, Polska	Filip Murlak Piotr Sankowski	LNCS 6907
MFC 2012	Bratysława, Słowacja	Branislav Rovan Vladimiro Sassone Peter Widmayer	LNCS 7464
MFC 2013	Klosterneuburg w Austrii	Krishnendu Chatterjee Jiří Sgall	LNCS8087
MFC 2014	Budapeszt, Węgry	Erzsébet Csuhaj-Varjú Martin Dietzfelbinger Zoltán Ésik	LNCS 8634 LNCS 8635
MFC 2015	Mediolan, Włochy	Giuseppe F. Italiano Giovanni Pighizzini Donald Sannella	LNCS 9234 LNCS 9235
MFC 2016	Kraków, Polska	Piotr Faliszewski Anca Muscholl Rolf Niedermeier	LIPIcs 58
MFC 2017	Aalborg, Dania	Kim G. Larsen Hans L. Bodlaender Jean-François Raskin	LIPIcs 83
MFC 2018	Liverpool, Wielka Brytania	Igor Potapow Paul Spirakis James Worrell	LIPIcs 117
MFC 2019	Akwizgran, Niemcy	Peter Rossmanith Pinar Heggernes Joost-Pieter Katoen