VEMDP 2014 - International Workshop on Verification of Engineered Molecular Devices and Programs 2014

The program committee of VEMDP 2014 is shown below.
Calin Belta (Boston University)
Erik De Vink (Technische Universiteit Eindhoven)
François Fages (INRIA Rocquencourt)
Jerome Feret (INRIA / Ecole normale supérieure)
Alan Hu (University of British Columbia)
Marta Kwiatkowska (University of Oxford) - chair
Matthew Lakin (University of New Mexico)
Paolo Milazzo (Dipartimento di Informatica - Università di Pisa)
David Parker (University of Birmingham)
Andrew Phillips (Microsoft Research (Cambridge)) - chair
Chris Thachuk (University of Oxford) - chair
Christoph M. Wintersteiger (Microsoft Research)
Verena Wolf (Saarland University)
David Šafránek (Masaryk University)