International Symposium on Mathematical Foundations of Computer Science

概要

The Mathematical Foundations of Computer Science conference series is a high-quality venue for original research in all branches of Theoretical Computer Science. MFCS is among the conferences with the longest history in the field — the first conference in the series was held in 1972. Traditionally, the conference moved between the Czech Republic, Poland, and Slovakia; since 2013, the conference has traveled around Europe. The 51st conference on Mathematical Foundations of Computer Science will take place in Paris, France , from August 24th until August 28th, 2026. The conference will be preceded, on August 23rd, by the Young Research Forum Workshop intended for students and postdocs. NEW: Up to 10 papers will be accepted by the program committee, for which no presence onsite is required.\n\nCall for Papers\n1) Papers must present original research on the theory of computer science. No prior publication and no simultaneous submission to other publication outlets (either a conference or a journal) is allowed. Authors are encouraged to also make full versions of their submissions freely accessible in an on-line repository such as arXiv.\n2) Submissions take the form of an extended abstract of up-to 12 pages (LIPIcs document class), excluding title page, references and a clearly labelled appendix. The appendix may consist either of omitted proofs or of a full version of the submission, and it will be read at the discretion of program committee members. The extended abstract has to present the merits of the paper and its main contributions clearly, and describe the key concepts and technical ideas used to obtain the results. Submissions must provide the proofs which can enable the main mathematical claims of the paper to be verified.\n3) Submissions authored or co-authored by members of the program committee are allowed.\n4) At the time of submission, authors may declare that they are unable to attend the conference in Paris and therefore cannot give an in-person presentation. This choice will not influence the evaluation of submissions by the Program Committee. The Program Committee will rank all papers irrespective of their presentation status. Approximately 80 papers will be selected for in-person presentation, and up to 10 papers will be accepted without presentation. All accepted papers will be published in the same proceedings. This option is intended for authors who wish to publish their results at the conference but, for various reasons (e.g., family or financial constraints), are unable to attend the conference in person.\n5) At least one author of each accepted paper with presentation is expected to register for the conference, and give the talk in-person. At least one author of each accepted paper without in-person presentation is expected to register for the conference for a reduced fee, and for each such paper the authors are expected to provide a pre-recorded video of the paper presentation that will be made available on-line during the conference. (Pre-recorded videos of the other papers are optional.)\n6) Papers authored only by students should be marked as such at the time of submission in order to be eligible for the best student paper award.\n7) MFCS proceedings are published in the Leibniz International Proceedings in Informatics (LIPIcs) series. The camera-ready version of accepted papers will need to comply with the LIPIcs style.\n8) All submissions should be made via HotCRP at https://mfcs26.hotcrp.com/ .

情報源ランク

地図