Program Committee

• Parosh Abdulla (Uppsala Univ., Sweden)
• Eugene Asarin (LIAFA, France)
• Patricia Bouyer (LSV, France)
• Ed Brinksma (Univ. of Twente, NL)
• Flavio Corradini (Univ. of Camerino, Italy)
• Joost-Pieter Katoen (Aachen Univ., Germany)
• Marta Kwiatkowska (Univ. of Birmingham, UK)
• Yassine Lakhnech (Verimag, France)
• Kim G. Larsen (Aalborg Univ., Denmark)
• Insup Lee (Univ. of Pennsylvania, USA)
• Oded Maler (Verimag, France)
• Jens Palsberg (UCLA, USA)
• Paul Pettersson (co-chair, Uppsala Univ.,Sweden)
• Jean-Francois Raskin (ULB, Belgium)
• Mariëlle Stoelinga (Univ. of Twente, NL)
• P.S. Thiagarajan (National Univ. of Singapore)
• Stavros Tripakis (Verimag, France)
• Frits Vaandrager (Radboud Univ. Nijmegen)
• Walter Vogler (Univ. of Augsburg, Germany)
• Wang Yi (co-chair, Uppsala Univ.,Sweden)