Workshop Program Committee:

• Arnd Poetzsch-Heffter, chair (University of Kaiserlautern)
• Jonathan Aldrich (Carnegie Mellon University)
• Michael Barnett (Microsoft Research)
• Marcello M. Bonsangue (LIACS - Leiden University)
• Paulo Borba (Federal University of Pernambuco)
• Kathi Fisler (WPI)
• Cormac Flanagan (University of California, Santa Cruz)
• Marieke Huisman (INRIA Sophia Antipolis)
• Joost-Pieter Katoen (RWTH Aachen)
• Gary T. Leavens (Iowa State University)
• Peter Müller (ETH Zürich)
• David Naumann (Stevens Institute of Technology)
• Matthew Parkinson (University of Cambridge)
• Ralf Reussner (Universität Karlsruhe)
• Natasha Sharygina (Lugano and Carnegie Mellon)
• Kurt C. Wallnau (Software Engineering Institute)
• Tao Xie (North Carolina State University)