posted by organizer: mskrzypczak || 2823 views || tracked by 5 users: [display]

MFCS 2025 : Mathematical Foundations of Computer Science

FacebookTwitterLinkedInGoogle


Conference Series : Mathematical Foundations of Computer Science
 
Link: https://mfcs2025.mimuw.edu.pl/
 
When Aug 25, 2025 - Aug 29, 2025
Where Warsaw, Poland
Submission Deadline Apr 18, 2025
Notification Due Jun 20, 2025
Final Version Due Jun 27, 2025
Categories    theory   algorithms   logic   foundations
 

Call For Papers

The MFCS conference series on Mathematical Foundations of Computer Science 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 already in 1972. Traditionally, the conference moved between the Czech Republic, Poland, and Slovakia; while since 2013, the conference has traveled around Europe.

In 2025, at its round 50th edition, MFCS will be held as a physical event in Warsaw, Poland.

Submission Guidelines
As in previous years, MFCS 2025 proceedings will be published in LIPIcs (Leibniz International Proceedings in Informatics) under an open access license.

Program Committee
Shaull Almagor (Technion)
Nathalie Bertrand (Inria Rennes)
Udi Boker (Reichman University)
Gerth Brodal (Aarhus University)
Michaël Cadilhac (DePaul University)
Panagiotis Charalampopoulos (Birkbeck, University of London)
Witold Charatonik (University of Wrocław)
Dmitry Chistikov (University of Warwick)
Anuj Dawar (University of Cambridge)
Joel Day (Loughborough University)
Moses Ganardi (Max Planck Institute for Software Systems)
Leszek Gąsieniec (University of Liverpool)
Paweł Gawrychowski (University of Wrocław) - chair
Stefan Göller (Universität Kassel)
Christoph Haase (University of Oxford)
Meike Hatzel (IBS, Daejeon)
Jarkko Kari (University of Turku)
Edon Kelmendi (Queen Mary, University of London)
Marie Kerjean (CNRS, Université Sorbonne Paris Nord)
Jakub Kozik (Jagiellonian University)
László Kozma (Freie Universität Berlin)
Karoliina Lehtinen (CNRS, LIS Marseille)
Nutan Limaye (University of Copenhagen)
Christof Löding (RWTH Aachen)
Filip Mazowiecki (University of Warsaw) - co-chair
Pierre Ohlmann (CNRS, LIS Marseille)
Jakub Opršal (University of Birmingham)
Guillermo Pérez (University of Antwerp)
Gabriele Puppis (University of Udine)
David Purser (University of Liverpool)
Karin Quaas (Universität Leipzig)
Chris Schwiegelshohn (Aarhus University)
Michał Skrzypczak (University of Warsaw) - co-chair
Tatiana Starikovskaya (ENS Paris)
Lidia Tendera (University of Opole)
Karol Węgrzycki (Max Planck Institute for Informatics)
Philip Wellnitz (National Institute of Informatics)
Markus Whiteland (Loughborough University)
Michał Wrona (Jagiellonian University)
Georg Zetzsche (Max Planck Institute for Software Systems)
Anna Zych (University of Warsaw)

Invited Speakers
Thomas Colcombet (Université Paris Cité)
Giuseppe Italiano (LUISS Guido Carli, Rome)
Rasmus Kyng (ETH Zurych)
Filip Murlak (University of Warsaw)
Anca Muscholl (Université de Bordeaux)

Venue
The conference will be held in Warsaw, Poland.

Contact
All questions about submissions should be emailed to mfcs2025@mimuw.edu.pl.

Related Resources

Cyber Science 2026   International Conference on Cybersecurity, Situational Awareness and Social Media
Ei/Scopus-ITCC 2026   2026 6th International Conference on Information Technology and Cloud Computing (ITCC 2026)
CEIG 2026   Spanish Computer Graphics Conference
CACML 2026   2026 5th Asia Conference on Algorithms, Computing and Machine Learning (CACML 2026)
Research Handbook on Decision Science 2026   Call for Book Chapters: Research Handbook on Decision Science
IEEE-ETEP 2025   2025 2nd International Conference on Energy Technology and Electrical Power-IEEE Xplore/EI/Scopus
Computer Vision Conference 2025   Next-Gen Computer Vision Conference by SAI
EI/Scopus-ICMCCE 2025   2025 8th International Conference on Mechanical, Control and Computer Engineering-EI/Scopus
ISMSI 2026   2026 10th International Conference on Intelligent Systems, Metaheuristics & Swarm Intelligence (ISMSI 2026)
ICCS_Computational_Science 2025   25th International Conference on Computational Science