Program committee



Name Affiliation
Alex Groce Northern Arizona University
Chao Wang University of Southern California
Corina Pasareanu NASA Ames Research Center
Hong-Linh Truong TU Wien
Mats Heimdahl University of Minnesota
Mithun Acharya ABB Corporate Research
Mohammad Mousavi University of Leicester
Phil McMinn University of Sheffield
Shaukat Ali Simula Research Lab
Stephen McCamant University of Minnesota
Terragni Valerio Università della Svizzera Italiana
Yan Cai Chinese Academy of Sciences