VEMDP 2014

Verification of Engineered Molecular Devices and Programs

July 17, 2014, Vienna, Austria
An affiliated workshop of CAV 2014
Submission deadlineMay 2, 2014
NotificationMay 18, 2014
Camera readyJune 1, 2014
Early registration deadlineJune 8, 2014

Organization Co-chairs

Marta Kwiatkowska
Department of Computer Science
University of Oxford
Andrew Phillips
Biological Computation Group
Microsoft Research (Cambridge)
Chris Thachuk
Computing and Mathematical Sciences
California Institute of Technology

Program Committee

Calin BeltaBoston University
Neil DalchauMicrosoft Research
François FagesINRIA Rocquencourt
Jerome FeretINRIA / Ecole normale supérieure
Alan HuUniversity of British Columbia
Hillel KuglerMicrosoft Research
Marta KwiatkowskaUniversity of Oxford
Matthew LakinUniversity of New Mexico
Paolo MilazzoUniversità di Pisa
David ParkerUniversity of Birmingham
Andrew PhillipsMicrosoft Research
David ŠafránekMasaryk University
David SoloveichikUCSF Center for Systems and Synthetic Biology
Chris ThachukCalifornia Institute of Technology
Erik de VinkTechnische Universiteit Eindhoven
Christoph M WintersteigerMicrosoft Research
Verena WolfSaarland University