[go: up one dir, main page]

MFCS: Mathematical Foundations of Computer Science

FacebookTwitterLinkedInGoogle

 

Past:   Proceedings on DBLP

Future:  Post a CFP for 2025 or later   |   Invite the Organizers Email

 
 

All CFPs on WikiCFP

Event When Where Deadline
MFCS 2024 Mathematical Foundations of Computer Science
Aug 26, 2024 - Aug 30, 2024 Bratislava, Slovakia Apr 26, 2024
MFCS 2020 The 45th International Symposium on Mathematical Foundations of Computer Science
Aug 24, 2020 - Aug 28, 2020 Prague, Czech Republic Apr 20, 2020
MFCS 2019 Mathematical Foundations of Computer Science
Aug 26, 2019 - Aug 30, 2019 Aachen, Germany Apr 22, 2019
MFCS 2018 Mathematical Foundations of Computer Science
Aug 27, 2018 - Aug 31, 2018 Liverpool, UK Apr 24, 2018 (Apr 20, 2018)
MFCS 2017 42nd International Symposium on Mathematical Foundations of Computer Science
Aug 21, 2017 - Aug 25, 2017 Aalborg, Denmark Apr 24, 2017 (Apr 20, 2017)
MFCS 2016 International Symposium on Mathematical Foundations of Computer Science
Aug 22, 2016 - Aug 26, 2016 Krakow (Poland) Apr 25, 2016 (Apr 21, 2016)
MFCS 2015 40th International Symposium on Mathematical Foundations of Computer Science
Aug 24, 2015 - Aug 28, 2015 Milano, Italy Apr 22, 2015
MFCS 2014 39th International Symposium on Mathematical Foundations of Computer Science
Aug 25, 2014 - Aug 29, 2014 Budapest, Hungary Apr 18, 2014
MFCS 2013 38 International Symposium on Mathematical Foundations of Computer Science
Aug 26, 2013 - Aug 30, 2013 Klosterneuburg, Austria Apr 19, 2013
MFCS 2009 34st International Symposium on Mathematical Foundations of Computer Science
Aug 24, 2009 - Aug 28, 2009 Novy Smokovec, Slovakia Apr 15, 2009 (Apr 10, 2009)
 
 

Present CFP : 2024



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


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 Goubault-Larrecq (CNRS and ENS Paris-Saclay)
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 Duisburg-Essen)
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)
Invited Speakers

Wojciech Czerwiński (University of Warsaw)
Jarkko Kari (University of Turku)
Kasper Green Larsen (Aarhus University)
Rupak Majumdar (Max Planck Institute for Software Systems)
David Peleg (Weizmann Institude of Science)

Submission Guidelines

Papers should be submitted electronically through EasyChair.

Submissions should be formatted using the LIPIcs style with length not exceeding 12 pages (excluding references and an optional appendix). References and an optional appendix can go beyond the 12 pages; the appendix will be consulted at the discretion of the program committee. It is mandatory to use the LIPIcs style for submissions.

No prior publication or simultaneous submission to other conferences or journals are allowed (except preprint repositories such as arXiv or workshops without formal published proceedings).

There is no need to anonymize the submissions.

As in previous years, MFCS 2022 proceedings will be published in LIPIcs (Leibniz International Proceedings in Informatics) under an open access license.

Selected articles will be invited to a special issue of Information and Computation
Important Dates

Submission Deadline: Friday, April 26, 2024 (Anywhere on Earth)
Notification: Monday, June 24, 2024
Conference: August 26 — 30, 2024,
 

Related Resources

IEEE-Ei/Scopus-ITCC 2025   2025 5th International Conference on Information Technology and Cloud Computing (ITCC 2025)-EI Compendex
SPIE-Ei/Scopus-DMNLP 2025   2025 2nd International Conference on Data Mining and Natural Language Processing (DMNLP 2025)-EI Compendex&Scopus
IEEE-Ei/Scopus-CNIOT 2025   2025 IEEE 6th International Conference on Computing, Networks and Internet of Things (CNIOT 2025) -EI Compendex
CSITEC 2025   11th International Conference on Computer Science, Information Technology
IEEE CACML 2025   2025 4th Asia Conference on Algorithms, Computing and Machine Learning (CACML 2025)
ACM SAC 2025   40th ACM/SIGAPP Symposium On Applied Computing
IJCSES 2024   International Journal of Computer Science and Engineering Survey
CETA--EI 2025   2025 4th International Conference on Computer Engineering, Technologies and Applications (CETA 2025)
IJANS 2024   International Journal on AdHoc Networking Systems
MLANN 2025   2025 3rd Asia Conference on Machine Learning, Algorithms and Neural Networks (MLANN 2025)
Quantcast