People

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 Wasowski

IT University Copenhagen

Wang Yi

Uppsala University

Huibiao Zhu

East China Normal University

Organization

Festschrift Editors

Luca Aceto, Reykjavik University
Giorgio Bacci, Aalborg University
Giovanni Bacci, Aalborg University
Anna Ingolfsdottir, Reykjavik University
Axel Legay, INRIA Rennes
Radu Mardare, Aalborg University

Local Conference Organizers

Radu Mardare, Aalborg University (chair)
Giorgio Bacci, Aalborg University
Giovanni Bacci, Aalborg University
Rikke W. Uhrenholt, CISS