42nd International Symposium on

Mathematical Foundations of Computer Science

August 21-25, 2017, Aalborg (Denmark)



MFCS-17 is organized in coopperation with EATCS
 

  

Program Committee

Program Committee Chairs

  • Kim G. Larsen (Aalborg University, Denmark, chair)
  • Hans L. Bodlaender (Eindhoven University of Technology, Netherlands, co-chair)
  • Jean-François Raskin (Universite Libre de Bruxelles, Belgium, co-chair)

Program Committee Members

  • Alexander Kurz (University of Leicester, UK)
  • Aniello Murano (Universit√† degli Studi di Napoli Federico II, Italy)
  • Arno Pauly (Universite Libre de Bruxelles, Belgium)
  • Axel Legay (IRISA/INRIA, Rennes, France)
  • Bartek Klin (University of Warsaw, Poland)
  • Bettina Speckmann (TU Eindhoven, Netherlands)
  • Christof Löding (RWTH Aachen, Germany)
  • Damien Pous (CNRS - ENS Lyon, France)
  • Dana Pardubská (Comenius University, Slovakia)
  • Dexter Kozen (Cornell University, USA)
  • Doron Peled (Bar Ilan University, Israel)
  • Franck Cassez (Macquarie University, Australia)
  • Hans Raj Tiwary (Charles University, Czech Republic)
  • Jiri Wiedermann (Academy of Sciences, Czech Republic)
  • Jörg Rothe (Universität Düsseldorf, Germany)
  • Kasper Green Larsen (MADALGO, Aarhus University, Denmark)
  • Lars Birkedal (Aarhus University, Denmark)
  • Luca Moscardelli (University of Chieti-Pescara, Italy)
  • Manfred Droste (Leipzig University, Germany)
  • Manuel Bodirsky (TU Dresden, Germany)
  • Martin Lange (University of Kassel, Germany)
  • Matteo Mio (CNRS - ENS-Lyon, France)
  • Patricia Bouyer (LSV, CNRS & ENS Cachan, Université Paris Saclay, France)
  • Paweł Gawrychowski (University of Haifa, Israel)
  • Peter Van Emde Boas (ILLC-FNWI-Universiteit van Amsterdam (emeritus), Netherlands)
  • Petteri Kaski (Helsinki Institute for Information Technology HIIT, Aalto University, Finland)
  • Pierre-Yves Schobbens (University of Namur, Belgium)
  • Prakash Panangaden (McGill University, Canada)
  • Radu Mardare (Aalborg University, Denmark)
  • Raffaella Gentilini (University of Perugia, Italy)
  • Ramamohan Paturi (University of California, USA)
  • Rocco De Nicola (IMT - School for Advanced Studies Lucca, Italy)
  • Rod Downey (Victoria University of Wellington, New Zealand)
  • Roland Meyer (TU Braunschweig, Germany)
  • Sam Staton (Oxford University, UK)
  • Sławomir Lasota (Warsaw University, Poland)
  • Stephan Kreutzer (Technical University Berlin, Germany)
  • Tarmo Uustalu (Institute of Cybernetics, Tallinn University of Technology, Estonia)
  • Udi Boker (Interdisciplinary Center (IDC) Herzliya, Israel)
  • Vojtěch Forejt (Oxford University, UK)

Contact: Giovanni Bacci