VSTTE Attendee Information (PDF)  


GENERAL CHAIR

Ernie Cohen Microsoft Research

PROGRAM CHAIRS


Rajeev JoshiNASA Jet Propulsion Laboratory
Peter MüllerETH Zurich
Andreas Podelski University of Freiburg
  

PROGRAM COMMITTEE


Clark Barrett New York University
Lars Birkedal IT University of Copenhagen
Patrick Cousot Ecole normale Supérieure, Paris and New York University
Leonardo de Moura Microsoft Research
Jean-Christophe FilliatreCNRS Université Paris Sud
John Hatcliff Kansas State University
Bart Jacobs Katholieke Universiteit Leuven
Ranjit Jhala University of California,San Diego
Rajeev Joshi NASA Jet Propulsion Laboratory
Gerwin Klein National ICT Australia Ltd (NICTA)
Viktor Kuncak EPF Lausanne
Gary T. Leavens University of Central Florida
Rustan Leino Microsoft Research
Pete Manolios Northeastern University
Peter Müller ETH Zurich
Tobias Nipkow Technische Universität München
Matthew Parkinson Microsoft Research
Corina Pasareanu NASA Ames Research Center
Wolfgang Paul Saarland University
Andreas Podelski University of Freiburg
Natasha Sharygina University of Lugano
Willem Visser University of Stellenbosch
Thomas Wies Institute of Science and Technology (IST) Austria

PUBLICITY CHAIR


Gudmund Grov University of Edinburgh

STEERING COMMITTEE


Tony HoareMicrosoft Research
Andrew IrelandHeriott-Watt University
Jay Misra UT Austin
Natarajan Shankar SRI 
Jim WoodcockUniversity of York
Comments