MFCS 2020: 45th International Symposium on Mathematical Foundations of Computer Science Charles University Prague, Czechia, August 24-28, 2020 |
Conference website | http://mfcs.mff.cuni.cz/2020/ |
Submission link | https://easychair.org/conferences/?conf=mfcs2020 |
Submission deadline | May 4, 2020 |
Notification of acceptance | June 29, 2020 |
The MFCS conference series has been organized since 1972. Traditionally,
the conference moved between the Czech Republic, Slovakia, and Poland,
while since 2013, the conference travels around Europe. In 2020, it will
come back to Prague, Czech Republic. MFCS is a high quality venue for
original research in all branches of theoretical computer science.
Publication
MFCS 2020 proceedings will be published in LIPIcs (Leibniz International
Proceedings in Informatics) under an open source license (as in previous
years).
Submission Guidelines
Papers should be submitted electronically through EasyChair at
https://easychair.org/conferences/?conf=mfcs2020
Submissions should be 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).
List of Topics
We encourage 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 bi
- boinformatics
- 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
- 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
Committees
Program Committee
- Mohamed Faouzi Atig (Uppsala)
- Giorgio Bacci (Aalborg)
- Christel Baier (TU Dresden)
- Paolo Baldan (Padova)
- Michael Blondin (Sherbrooke)
- Broňa Brejová (Comenius University)
- Krishnendu Chatterjee (IST Austria)
- Mahdi Cheraghchi (Imperial)
- Thomas Colcombet (IRIF, Paris)
- Wojciech Czerwiński (Warsaw)
- Matthias Englert (Warwick)
- Javier Esparza (TU Munich, co-chair)
- Felix Fischer (QMUL)
- Fedor Fomin (Bergen)
- Marco Gaboardi (Boston University)
- Jakub Gajarský (TU Berlin)
- Heng Guo (Edinburgh)
- Matthew Hague (RHUL)
- Pavel Hubáček (Charles University)
- Artur Jeż (Wroclaw)
- Naoki Kobayashi (Tokyo)
- Barbara König (Duisburg-Essen)
- Lukasz Kowalik (Warsaw)
- Dan Kráľ (Masaryk University and Warwick, co-chair)
- Stefan Mengel (CNRS, CRIL)
- Dirk Nowotka (Christian-Albrechts-Universität zu Kiel)
- Zuzana Patáková (IST Austria)
- Thomas Place (LaBRI, Bordeaux)
- Gabriele Puppis (LaBRI, Bordeaux)
- Mickael Randour (FNRS, Mons)
- Albert Rubio (UPC Barcelona)
- Krishna S (IIT Bombay)
- Marie-France Sagot (INRIA Lyon)
- Sylvain Schmitz (IRIF Paris)
- Sebastian Siebertz (Bremen)
- Bettina Speckmann (Eindhoven)
- Till Tantau (Lübeck)
- Iddo Tzameret (RHUL)
- László Végh (LSE)
- Mahesh Viswanathan (UIUC)
- Bartosz Walczak (Jagiellonian University)
- Georg Zetzsche (MPI-SWS)
- Stanislav Živný (Oxford)
Organizing committee
- Andreas Feldmann
- Michal Koucky (chair)
- Anna Kotesovcova
Invited Speakers
- Nathalie Bertrand (INRIA, Rennes)
- Sergio Cabello (Ljubljana)
- Subhash Khot (NYU)
- Parthasarathy Madhusudan (UIUC)
- Mary Wootters (Stanford)
Venue
The conference will be held in the Computer Science Building of Charles University in the historic center of Prague.
Contact
All questions about submissions should be emailed to the PC Chairs