45th International Symposium on

Mathematical Foundations of Computer Science

August 24-28, 2020, Prague (Czech Republic)


Sponsors:

RSJ

EATCS
MFCS 2020 is organized in cooperation with EATCS
 

  

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 (Ann Arbor)
  • 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 (Udine)
  • 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)

Organising Committee

  • Andreas Emil Feldmann
  • Michal Koucký (chair)
  • Michal Opler
  • CONFORG, s.r.o.

Important Dates

Paper submission deadline:    Monday, May 4, 2020 (AoE)   
Notification of authors: Monday, June 29, 2020   
Conference dates: August 24–28, 2020
Workshop dates: August 28–29, 2020

Contact: Andreas Emil Feldmann feldmann.a.e@gmail.com