posted by organizer: mskrzypczak || 4122 views || tracked by 7 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

CISAT 2026   IEEE 9th International Conference on Computer Information Science and Application Technology
Ei/Scopus-AI2A 2026   2026 6th International Conference on Artificial Intelligence, Automation and Algorithms (AI2A 2026)
SMC 2026   10th International Conference on Soft Computing, Mathematics and Control
IEEE-ICECCS 2026   2025 IEEE International Conference on Electronics, Communications and Computer Science (ICECCS 2026)
IJCSEA 2026   International Journal of Computer Science, Engineering and Applications
Ei/Scopus-AICSP 2026   2026 International Conference on Algorithms, Intelligent Control and Signal Processing (AICSP 2026)
CCSEA 2026   16th International Conference on Computer Science, Engineering and Applications
AMLIP 2026   2026 2nd International Conference on Algorithms, Machine Learning and Image Processing-EI/Scopus
IJCSIT 2026   International Journal of Computer Science and Information Technology - H-index 60
IJCSEIT 2026   International Journal of Computer Science, Engineering and Information Technology