MFCS 2020 : The 45th International Symposium on Mathematical Foundations of Computer Science

  in Conferences   Posted on January 24, 2020

Conference Information

Submission Deadline Monday 20 Apr 2020 Proceedings indexed by :
Conference Dates Aug 24, 2020 - Aug 28, 2020
Conference Address Prague, Czech Republic
Conference & Submission Link
Conference Organizers : ( Deadline extended ? Click here to edit )

Conference Ranking & Metrics (This is a TOP Conference)

G2R Score 1.65
#Contributing Top Scientists 16
#Papers published by Top Scientists 16
Google Scholar H5-index 4
Guide2Research Overall Ranking: 581
Category Rankings
Computational Theory and Mathematics 52
Databases & Information Systems 99

Conference Call for Papers

MFCS 2020 – First Call for Papers

The 45th International Symposium on Mathematical Foundations of Computer Science

August 24-28, 2020, Prague, Czech Republic


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.


Submission Deadline: Monday, April 20, 2020 (AoE)

Notification: Monday, June 15, 2020

Conference: Monday August 24 to Friday August 28, 2020

Workshops: Friday August 30 to Saturday August 31, 2020


Papers should be submitted electronically through EasyChair at

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).


MFCS 2020 proceedings will be published in LIPIcs (Leibniz International

Proceedings in Informatics) under an open source license (as in previous



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



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)


Andreas Feldmann, Michal Koucky (chair) and Anna Kotesovcova.


The conference will be held in the Computer Science Building of Charles

University in the historic center of Prague.

Other Conferences in Czech Republic

ICEIS 2021 : International Conference on Enterprise Information Systems

Deadline :
Mon 30 Nov 2020
Apr 26, 2021 - Apr 28, 2021 - Prague
Czech Republic

CSEDU 2021 : 13th International Conference on Computer Supported Education

Deadline :
Mon 30 Nov 2020
Apr 23, 2021 - Apr 25, 2021 - Prague
Czech Republic