MFCS: Mathematical Foundations of Computer Science

FacebookTwitterLinkedInGoogle

 

Past:   Proceedings on DBLP

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

 
 

All CFPs on WikiCFP

Event When Where Deadline
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 2011 36th International Symposium on Mathematical Foundations of Computer Science
Aug 22, 2011 - Aug 26, 2011 Warsaw, Poland Apr 15, 2011
MFCS 2010 35th International Symposium on Mathematical Foundations of Computer Science
Aug 23, 2010 - Aug 27, 2010 Brno, Czech Republic Apr 15, 2010 (Apr 10, 2010)
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 : 2020

MFCS 2020 - First Call for Papers

The 45th International Symposium on Mathematical Foundations of Computer Science

August 24-28, 2020, Prague, Czech Republic

http://mfcs.mff.cuni.cz/2020/

CALL FOR PAPERS

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.

IMPORTANT DATES

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

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

PUBLICATION

MFCS 2020 proceedings will be published in LIPIcs (Leibniz International
Proceedings in Informatics) under an open source license (as in previous
years).

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

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) and Anna Kotesovcova.

VENUE

The conference will be held in the Computer Science Building of Charles
University in the historic center of Prague.
 

Related Resources

SOFSEM 2021   47th International Conference on Current Trends in Theory and Practice of Computer Science
ICSRS--Scopus & EI Compendex 2021   2021 5th International Conference on System Reliability and Safety (ICSRS 2021)--Scopus & EI Compendex
SI-DAMLE 2020   Special Issue on Data Analytics and Machine Learning in Education
ICRE--EI Compendex, Scopus 2021   2021 5th International Conference on Reliability Engineering (ICRE 2021)--EI Compendex, Scopus
4th ICSTR Rome 2021   4th ICSTR Rome – International Conference on Science & Technology Research, 09-10 September 2021
PAKDD 2021   Pacific-Asia Conference on Knowledge Discovery and Data Mining
AsiaCCS 2021   The 16th ACM ASIA Conference on Computer and Communications Security [First Round]
4th ICSTR Barcelona August 2021   4th ICSTR Barcelona – International Conference on Science & Technology Research, 26-27 August 2021
4th Rome ICSSH 2021   4th Rome – International Conference on Social Science & Humanities (ICSSH), 07-08 September 2021
6th London ICSSH September 2021   6th London – International Conference on Social Science & Humanities (ICSSH), 07-08 September 2021