Ahmed Bouajjani (Chair), Univ. Paris Diderot (Paris 7)
Tom Ball , Microsoft Research
Kim G. Larsen, Aalborg University
Natarajan Shankar, SRI International