Program committee

Name	Affiliation
Joël Ouaknine chair	Max Planck Institute for Software Systems
Kasper Green Larsen chair	Aarhus University, Denmark