posted by organizer: mskrzypczak || 90 views || tracked by 1 users: [display]

MFCS 2025 : Mathematical Foundations of Computer Science

FacebookTwitterLinkedInGoogle

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

IEEE-Ei/Scopus-ITCC 2025   2025 5th International Conference on Information Technology and Cloud Computing (ITCC 2025)-EI Compendex
IEEE-Ei/Scopus-CNIOT 2025   2025 IEEE 6th International Conference on Computing, Networks and Internet of Things (CNIOT 2025) -EI Compendex
SPIE-Ei/Scopus-DMNLP 2025   2025 2nd International Conference on Data Mining and Natural Language Processing (DMNLP 2025)-EI Compendex&Scopus
ACM SAC 2025   40th ACM/SIGAPP Symposium On Applied Computing
IEEE CACML 2025   2025 4th Asia Conference on Algorithms, Computing and Machine Learning (CACML 2025)
CETA--EI 2025   2025 4th International Conference on Computer Engineering, Technologies and Applications (CETA 2025)
CSITEC 2025   11th International Conference on Computer Science, Information Technology
IEEE-Ei/Scopus-CWCBD 2025   2025 6th International Conference on Wireless Communications and Big Data (CWCBD 2025) -EI Compendex
MLANN 2025   2025 3rd Asia Conference on Machine Learning, Algorithms and Neural Networks (MLANN 2025)
ICISIP 2025   The 12th IIAE International Conference on Intelligent Systems and Image Processing 2025