Committees

Programm Committee

Christel Baier TU Dresden de
Paolo Baldan University of Padova it
Ahmed Bouajjani University Paris Diderot fr
Franck van Breugel York University, Toronto ca
Roberto Bruni University of Pisa it
Rocco De Nicola University of Florence it
Dino Distefano Queen Mary University of London and Monoidics Ltd gb
Javier Esparza TU Munich de
Yuxi Fu Shanghai Jiaotong University cn
Paul Gastin ENS de Cachan, Paris fr
Keijo Heljanko Aalto University, Espoo fi
Anna Ingólfsdóttir Reykjavik University is
Joost-Pieter Katoen (co-chair) RWTH Aachen de
Barbara König (co-chair) University of Duisburg-Essen de
Maciej Koutny Newcastle University gb
Antonín Kučera Masaryk University, Brno cz
Gerald Lüttgen Otto-Friedrich-Universität Bamberg de
Bas Luttik Eindhoven University of Technology nl
Madhavan Mukund Chennai Mathematical Institute in
Ernst-Rüdiger Olderog Universität Oldenburg de
Joel Ouaknine University of Oxford gb
Jan Rutten CWI Amsterdam and Radboud University Nijmegen nl
Vladimiro Sassone University of Southampton gb
Mariëlle Stoelinga University of Twente, Enschede nl
Irek Ulidowski University of Leicester gb
Björn Victor Uppsala University sw
Mahesh Viswanathan University of Illinois, Urbana-Champaign us
Andrzej Wąsowski IT University of Copenhagen dk

Steering Committee

Roberto Amadio PPS, Université Paris Diderot - Paris 7 fr
Jos Baeten Eindhoven University of Technology nl
Eike Best Carl von Ossietzky Universität Oldenburg de
Kim Larsen Aalborg University dk
Ugo Montanari Università di Pisa it
Scott Smolka SUNY, Stony Brook University us
 

Sponsored by:

dfg_logo RWTH Aachen University Duisburg-Essen
emic-logo-new
ivu-logo
umic