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, 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 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