MFCS , el Simposio Internacional sobre Fundamentos Matemáticos de la Informática , es una conferencia académica que se organiza 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 toda Europa. Todas las contribuciones son revisadas rigurosamente por pares . De 1974 a 2015, los artículos de la conferencia se publicaron 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 .