VSTTE 2014 - Working Conference on Verified Software: Theories, Tools, and Experiments

The program committee of VSTTE 2014 is shown below.
Elvira Albert (Complutense University of Madrid)
Sandrine Blazy (IRISA - Université Rennes 1)
Alessandro Cimatti (FBK-irst)
Ernie Cohen (Microsoft)
Dimitra Giannakopoulou (NASA Ames) - chair
Arie Gurfinkel (Software Engineering Institute, Carnegie Mellon University)
Klaus Havelund (Jet Propulsion Laboratory, California Institute of Technology)
Mats Heimdahl (University of Minnesota)
Andrew Ireland (Heriot-Watt University)
Bart Jacobs (Katholieke Universiteit Leuven, Belgium)
Rajeev Joshi (Laboratory for Reliable Software, Jet Propulsion Laboratory)
Temesghen Kahsai (Dep. of Computer Science)
Moonzoo Kim (KAIST)
Daniel Kroening (Oxford University) - chair
Francesco Logozzo (Microsoft Research)
Tiziana Margaria (Univ. Potsdam)
Peter Müller (ETH Zürich)
Shaz Qadeer (Microsoft)
Zvonimir Rakamaric (University of Utah)
Natarajan Shankar (SRI) - chair
Nishant Sinha (IBM Research Labs)
Arnaud Venet (CMU / NASA Ames Research Center)
Jim Woodcock (University of York)
Karen Yorav (IBM Haifa Research Lab)