Program Committee

Suzana Andova (Eindhoven)
Christel Baier (Dresden)
Laurent Doyen (Paris)
Uli Fahrenberg (Rennes; co-chair)
Joost-Pieter Katoen (Aachen)
Axel Legay (Rennes; co-chair)
Annabelle McIver (Sydney)
Joel Ouaknine (Oxford)
Karin Quaas (Leipzig)
Claus Thrane (Aalborg; co-chair)
Wang Yi (Uppsala)