Международный симпозиум по математическим основам информатики - International Symposium on Mathematical Foundations of Computer Science

Международный симпозиум по математическим основам информатики
СокращениеMFCS
ДисциплинаТеоретическая информатика
Детали публикации
ИздательЦентр информатики имени Лейбница
История1972–
Частотаежегодный

MFCS, то Международный симпозиум по математическим основам информатики является научная конференция организуется ежегодно с 1972 года. Тематика конференции охватывает всю область теоретическая информатика. До 2012 года конференция проходила в разных местах в г. Польша, Чехия и Словакия, но с MFCS 2013 он путешествует по Европа. Все статьи проходят тщательную рецензирование. В 1974–2015 гг. Статьи появлялись в сборниках трудов Springer в Конспект лекций по информатике серии. Начиная с 2016 г., труды публикуются Лейбниц Международные труды по информатике.



Новейшая история симпозиума

С 2012 года Руководящий комитет серии симпозиумов MFCS возглавляет Антонин Кучера.

ГодМесто расположенияСтулья для ПКТруды
MFCS 2010Брно, Чешская РеспубликаПетр Глинени
Антонин Кучера		LNCS 6281
MFCS 2011Варшава, ПольшаФилип Мурлак
Петр Санковский		LNCS 6907
MFCS 2012Братислава, СловакияБранислав Рован
Владимиро Сассоне
Питер Видмайер		LNCS 7464
MFCS 2013Клостернойбург, АвстрияКришненду Чаттерджи
Иржи Сгалл		LNCS 8087
MFCS 2014Будапешт, ВенгрияЭржебет Чухай-Варжу
Мартин Дицфельбингер
Золтан Эсик		LNCS 8634
LNCS 8635
MFCS 2015Милан, ИталияДжузеппе Ф. Итальяно
Джованни Пигиццини
Дональд Саннелла		LNCS 9234
LNCS 9235
MFCS 2016Краков, ПольшаПетр Фалишевский
Анка Мушолл
Рольф Нидермайер		LIPIcs 58
MFCS 2017Ольборг, ДанияКим Г. Ларсен
Ганс Л. Бодлендер
Жан-Франсуа Раскин		LIPIcs 83
MFCS 2018Ливерпуль, ВеликобританияИгорь Потапов
Пол Спиракис
Джеймс Уоррелл		LIPIcs 117
MFCS 2019Аахен, ГерманияПитер Россманиф
Пинар Хеггернес
Йост-Питер Катоэн