Speakers
Rajeev Alur
University of Pennsylvania
Patricia Bouyer
LSV, CNRS & ENS de Cachan
Ed Brinksma
University of Twente
Manfred Droste
Universität Leipzig
Klaus Havelund
NASA Jet Propulsion Laboratory
Holger Hermanns
Saarland University
Michael Huth
Imperial College London
Bengt Jonsson
Uppsala University
Joost-Pieter Katoen
RWTH Aachen University
Jan Křetínský
TU Munich
Marta Kwiatkowska
University of Oxford
Xinxin Liu
Chinese Academy of Science
Jan Madsen
DTU Compute
Flemming Nielson
DTU Compute
Hanne Riis Nielson
DTU Compute
Ernst-Rüdiger Olderog
Universität Oldenburg
Prakash Panangaden
McGill University
Bernhard Steffen
TU Dortmund
Bent Thomsen
Aalborg University
Max Tschaikowski
IMT Lucca
Jaco van de Pol
University of Twente
Andrzej Wąsowski
IT University Copenhagen
Wang Yi
Uppsala University
Huibiao Zhu
East China Normal University