Sponsors and partners:




The MFCS conference series on Mathematical Foundations of Computer
Science is a highquality 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, Slovakia, and Poland, while since 2013, the conference has traveled
around Europe.
In 2024, at its 49th edition, MFCS will be held as a physical event in
Bratislava, Slovakia.
Topics
The program committee encourages submission of original research papers in all areas of theoretical computer science, including (but not limited to) the following:

algebraic and coalgebraic methods in computer science

algorithms and data structures

automata and formal languages

bioinformatics

combinatorics on words, trees, and other structures

computational complexity (structural and modelrelated)

computational geometry

computeraided verification

computer assisted reasoning

concurrency theory

cryptography and security

cyber physical systems, databases and knowledgebased systems

formal specifications and program development

foundations of computing

logics in computer science

mobile computing

models of computation

networks

parallel and distributed computing

quantum computing

semantics and verification of programs

theoretical issues in artificial intelligence and machine learning

types in computer science
Program Committee
Christe Baier (TU Dresden)
Petra Berenbrink (Universität Hamburg)
Christoph Berkholz (TU Ilmenau)
Michael Blondin (Université de Sherbrooke)
Mikolaj Bojanczyk (University of Warsaw)
Joan Boyar (University of Southern Denmark)
Brona Brejova (Comenius University in Bratislava)
Jean Cardinal (Université libre de Bruxelles)
Pavol Cerny (TU Wien)
Krishnendu Chatterjee (Institute of Science and Technology, Austria)
Ugo Dal Lago (University of Bologna)
Stefan Dobrev (Slovak Academy of Sciences)
Robert Elsässer (University of Salzburg)
Leah Epstein (University of Haifa)
Henning Fernau (Trier University)
Fedor Fomin (University of Bergen)
Pierre Fraigniaud (IRIF Université Paris Cité)
Jean GoubaultLarrecq (CNRS and ENS ParisSaclay)
Kristoffer Arnsfelt Hansen (Aarhus University)
Lane Hemaspaandra (University of Rochester)
Petr Jancar (Palacky University Olomouc)
Christos Kapoutsis (Carnegie Mellon University in Qatar)
Stefan Kiefer (University of Oxford)
Ralf Klasing (CNRS, LaBRI, University of Bordeaux)
Naoki Kobayashi (University of Tokyo)
Barbara Konig (University of DuisburgEssen)
Martin Koutecký (Charles University, Prague)
Rastislav Kralovic (Comenius University in Bratislava, chair)
Tony Kucera (Masaryk University Brno, chair)
Tobias Momke (University of Augsburg)
Madhavan Mukund (Chennai Mathematical Institute)
Daniel Paulusma (Durham University)
Giovanni Pighizzini (University of Milan)
Alexander Rabinovich (Tel Aviv University)
Peter Rossmanith (RWTH Aachen)
Christian Scheideler (Paderborn University)
Sebastian Siebertz (University of Bremen)
Martin Skoviera (Comenius University in Bratislava)
Bettina Speckmann (TU Eindhoven)
Paul Spirakis (University of Liverpool)
Daniel Stefankovic (University of Rochester)
Till Tantau (University of Lübeck)
Takeshi Tsukada (Chiba University)
Ugo Vaccaro (University of Salerno)
Igor Walukiewicz (LaBRI , Université de Bordeaux)
Important Dates
 Submission Deadline: Friday, April 26, 2024 (Anywhere on Earth)
 Notification: Monday, June 24, 2024
 Conference: August 26 — 30, 2024,
