MFCS , el Simposio Internacional sobre Fundamentos Matemáticos de la Informática es una conferencia académica organizada anualmente desde 1972. Los temas de la conferencia cubren todo el campo de la informática teórica . Hasta 2012, la conferencia se celebró en diferentes lugares de Polonia, República Checa y Eslovaquia pero, desde MFCS 2013, viaja por Europa. Todas las contribuciones están fuertemente revisadas por pares . De 1974 a 2015, se publicaron artículos de conferencias en actas publicadas por Springer en la serie Lecture Notes in Computer Science . Desde 2016, las actas han sido publicadas por Leibniz International Proceedings in Informatics .