Organization

We are delighted to have a very strong program committee from North America, Europe, Asia and else where. The program committee consists of the following members:

Workshop Organizers

• Vijay Ganesh, University of Waterloo, Canada, vganesh@uwaterloo.ca
• Nicky Williams, CEA LIST, France, nicky.williams@cea.fr

Program Committee

• Kapil Vaswani, Microsoft Research, India
• Aditya Nori, Microsoft Research, India
• Rupak Majumdar, MPI Software Systems, Germany
• Joxan Jaffar, National University of Singapore, Singapore
• Frank Tip, University of Waterloo, Canada
• Koushik Sen, University of California, Berkeley, USA
• Cristian Cadar, Imperial College London, UK
• Arnaud Gotlieb, SIMULA, Norway and INRIA, France
• Frederic Dadeau, FEMTO-ST/INRIA, France
• Krzysztof Czarnecki, University of Waterloo, Canada
• Julian Dolby, IBM TJ Watson Center, USA
• Ofer Strichman, Technion, Israel
• Nikolaj Bjorner, Microsoft Research, USA
• Leonardo DeMoura, Microsoft Research, USA
• Francois Bobot, CEA LIST, France
• Sebastien Bardin, CEA LIST, France
• Sylvain Conchon, Universite Paris Sud, France
• Emina Torlak, University of California, Berkeley, USA
• Daniel LeBerre, Universite d’Artois, France
• Cesare Tinelli, University of Iowa, USA
• Chris Wintersteiger, Microsoft Research, UK
• Patrick Heymans, University of Namur, Belgium
• Marsha Chechik, University of Toronto, Canada
• Xiangyu Zhang, Purdue University, USA