WORKSHOP ORGANIZERS

Program Co-Chairs
Ralf Huuck, NICTA and University of New South Wales, Australia
Gerwin Klein, NICTA and University of New South Wales, Australia
Bastian Schlich, ABB Corporate Research, Germany

Program Committee
Adam Chlipala, Harvard University, USA
Dino Distefano, Queen Mary, University of London, UK
Klaus Havelund, Jet Propulsion Laboratory, NASA, USA
Chris Hawblitzel, Microsoft Research, USA
Andy King, University of Kent, UK
Stefan Kowalewski, RWTH Aachen University, Germany
Kim Larsen, Aalborg University, Denmark
John Matthews, Galois, Inc., USA
Thomas Noll, RWTH Aachen University, Germany
Wolfgang Paul, University of Saarbrücken, Germany
Jan Peleska, University of Bremen, Germany
John Regehr, University of Utah, USA
Wolfram Schulte, Microsoft Research, USA
Zhong Shao, Yale University, USA
Junfeng Yang, Columbia University, USA
Kwangkeun Yi, Seoul National University, South Korea