Chairpersons
- Conference chair: Bertrand Meyer, ETH Zurich, Switzerland
- Program chair: Yuri Gurevich, Microsoft Research, USA
- Workshop chair: Manuel Oriol, ETH Zurich, Switzerland
Program committee
- Chandrasekhar Boyapati, University of Michigan, USA
- Ed Clarke, Carnegie-Mellon University, USA
- Michael Ernst, MIT CSAIL, USA
- Kokichi Futatsugi, JAIST, Japan
- Tom Henzinger, EPFL, Switzerland
- Daniel Kroening, ETH Zurich, Switzerland
- Gary T. Leavens, Iowa State University, USA
- Bertrand Meyer, ETH Zurich, Switzerland
- Peter Müller, ETH Zurich, Switzerland
- Huaikou Miao, Shanghai University, China
- Jeff Offutt, George Mason University, USA
- Jonathan Ostroff, York University, Canada
- Benjamin Pierce, University of Pennsylvania, USA
- Wolfram Schulte, Microsoft Research, USA
- Yannis Smaragdakis, University of Oregon, USA
- Tao Xie, North Carolina State University, USA
- T.H. Tse, University of Hongkong, China
Organizing committee
- Lisa (Ling) Liu, ETH Zurich, Switzerland
- Ilinca Ciupa, ETH Zurich, Switzerland
- Andreas Leitner, ETH Zurich, Switzerland
- Claudia Günthart, ETH Zurich, Switzerland
- Manuel Oriol, ETH Zurich, Switzerland
