コンピュータサイエンスの数学的基礎に関する国際シンポジウム

MFCS、コンピュータサイエンスの数学的基礎に関する国際シンポジウムは、1972年から毎年開催されている学術会議です。会議のトピックは、理論コンピュータサイエンスの全分野にわたります。2012年までは、ポーランド、チェコ共和国、スロバキアのさまざまな場所で会議が開催されていましたが、MFCS 2013以降はヨーロッパ中を巡回しています。すべての投稿は、厳密な査読を受けています。1974年から2015年まで、会議の記事は、 Springerが発行するLecture Notes in Computer Scienceシリーズの議事録に掲載されました。2016年以降、議事録はLeibniz International Proceedings in Informaticsによって発行されています。