50th International Symposium on

Mathematical Foundations of Computer Science

August 25 – 29, 2025, Warsaw, Poland

 

  

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.

Poster

Poster is available in following formats:

Important Dates

  • Submission Deadline: April 18, 2025 (Anywhere on Earth)
  • Rebuttal: June 3–6, 2025
  • Author notification: June 20, 2025
  • Camera-ready version: July 1, 2025 (AoE)
  • Registration opens: July 1, 2025
  • Early registration: July 18, 2025 (AoE)
  • YRF submission deadline: August 1, 2025
  • Conference: August 25–29, 2025 (YRF Workshop on August 24)

Registration

At least one of the authors of each accepted paper must register by July 18 (Early registration phase) for the paper to appear in the proceedings.

Students who at the time of the conference have not yet completed their PhD qualify for the student status of the registration.

Attendee Early (until July 18) Late (from July 18)
Regular 2000 2450
Student 1550 2000
All fees are in Polish złotys. Early registration deadline is July 18, 23:59 (AoE) (the moment of filling in the form counts). Registration fee includes:
  • participation in all conference sessions,
  • coffee breaks,
  • reception on Aug 25,
  • conference dinner on Aug 27.
The conference fee does not include lunches.

Complete your registration online by filling out this form: MFCS 2025 registration.

Payment

All fees are to be paid by a bank transfer in PLN. Use the following transfer details: 

          BENEFICIARY:
          Uniwersytet Warszawski
          ul. Krakowskie Przedmiescie 26/28
          00-927 Warszawa

          BANK NAME: Bank Millenium SA
          IBAN: PL67 1160 2202 0000 0000 6084 9250
          SWIFT: BIGBPLPW

Transfer reference template: MFCS2025 <first name> <last name>.

Transfers should reach the organiser's account by August 14, 2025; otherwise the registration may be rejected.

Cancellation policy:

  • Cancellation requests should be set by e-mail to mfcs2025@mimuw.edu.pl
  • Cancellations received by July 25 will be eligible for registration fees refund, minus 300 PLN of administrative fee.
  • Cancellations received after July 25 and no-shows will not be eligible for a refund.

    • 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 co-algebraic methods in computer science
    • algorithms and data structures
    • automata and formal languages
    • bioinformatics
    • combinatorics on words, trees, and other structures
    • computational complexity (structural and model-related)
    • computational geometry
    • computer-aided verification
    • computer assisted reasoning
    • concurrency theory
    • cryptography and security
    • cyber physical systems, databases and knowledge-based 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

    Invited Speakers

    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-Pawlewicz (University of Warsaw)

    Accepted Papers

    Young Researchers Forum (YRF 2025) — August 24, 2025

    Just before MFCS 2025, on August 24, 2025, the Young Researchers Forum (YRF 2025) will take place at the MFCS Conference venue. This one-day event aims to provide a platform for young researchers, including master’s students, PhD candidates and postdocs, to present and discuss their recent or ongoing work in theoretical computer science in a broad sense, as well as to engage with and learn from more experienced researchers.

    All MFCS 2025 participants are warmly invited to attend the sessions of YRF 2025.

    The program will consist of:
    • session of contributed talks of published, submitted, or in-progress works,
    • session of invited non-technical talks addressing various aspects of life and career of young researchers,
    • a panel discussion between early-career participants and seasoned researchers, covering various aspects of academic life and research,
    • a poster session.

    The event will run from 9:30 to 19:00. A detailed schedule will be announced early August.


    Registration is free but required as part of the MFCS 2025 registration process.

    If you wish to present a talk or a poster, please fill out the submission form before August 1st.


    For inquiries about YRF 2025, please contact Bartłomiej Dudek or Lorenzo Clemente.

    Conference Venue

    The conference will take place at the University of Warsaw Library, Dobra 56/66, 00-312 Warsaw (location on Google Maps).

    The venue is located within walking distance from the following public transport stops:

    • Centrum Nauki Kopernik (Metro M2)
    • Stare Miasto (trams 4, 13, 20, 23, 26, buses 160, 190)
    • Karowa (bus 185)

    Conference Dinner

    The conference dinner will take place in The Kubicki Arcades, plac Zamkowy 4, 00-307 Warsaw (location on Google Maps). It is located within a short walking distance from the public transport stop Stare Miasto (trams 4, 13, 20, 23, 26; buses 160, 190) and from the conference venue. The optimal entrance for our participants is from Grodzka street: here.

    Travel Information

    Reaching Warsaw by Flight

    Warsaw features two airports. The main international hub is Warsaw Chopin Airport (WAW), located south of city centre, within access by public transport (municipal train S2; buses 146, 175, 188, 331). Another airport is Warsaw Modlin Airport (WMI), located outside the municipal area, north-west of the city. It is less conveniently communicated, with connections by taxi, Flixbus (n. 1240), or temporal bus line (denoted ZL).

    Reaching Warsaw by Train

    Warsaw Central train station is connected by international trains to Berlin, Vienna, Prague, etc. To reach the conference venue from the central train station use buses (127, 160) or metro M2 line.

    Restaurants

    The surroundings of the conference venue offer a huge variety of restaurants. Most of them are rather small places, so it's optimal to organise in groups of 2-6 people. Multiple vegetarian/vegan options are available. Among the options is also a modern food-court in Elektrownia Powiśle.

    • Bibenda — You can book only for groups of size at least 6. Otherwise, around 15 minutes of waiting time. Sharing food vibes, vegetarian friendly.
    • Barbara Nowogrodzka — A clone of Bibenda (right next to it), similar as above.
    • UKI UKI — Ramen place. There are many (vegan) Ramen places in Warsaw, try also e.g.V egan Ramen Shop.
    • UKI Green — Vegan version of above.
    • Peaches — A bit far (on the other side of the river), but worth checking out. Book at least a week in advance. Vegetarian friendly.
    • Alewino — A fancy place with good wine. I wouldn't recommend it to vegetarians.

    Pubs & Drinks

    • Klubojadalnia Młodsza Siostra — A very nice place to hang out, but not very big.
    • Jabeerwocky — Craft beer place. Usually a bit crowded, but there are many pubs not far also on Nowogrodzka street.
    • Wozownia — A nice bar with plenty of space.

    Local Organisers

    Contact

    For any questions, please don't hesitate to contact us at mfcs2025@mimuw.edu.pl.