VEMDP 2015

Verification of Engineered Molecular Devices and Programs

July 19, 2015, San Francisco, USA
An affiliated workshop of CAV 2015, co-sponsored by the NSF Molecular Programming Project
Submission deadlineJune 6, 2015
NotificationJune 9, 2015
Early registration deadlineJune 10, 2015

Organization Co-chairs

Marta Kwiatkowska
Department of Computer Science
University of Oxford
marta.kwiatkowska@cs.ox.ac.uk
Andrew Phillips
Biological Computation Group
Microsoft Research (Cambridge)
andrew.phillips@microsoft.com
Chris Thachuk
Computing and Mathematical Sciences
California Institute of Technology
thachuk@caltech.edu
Erik Winfree
Computer Science, Computation and Neural Systems, Bioengineering
California Institute of Technology
winfree@caltech.edu

Program Committee

Neil DalchauMicrosoft Research
François FagesINRIA Rocquencourt
Jerome FeretINRIA / Ecole normale supérieure
Marta KwiatkowskaUniversity of Oxford
Alan HuUniversity of British Columbia
Matthew LakinUniversity of New Mexico
Andrew PhillipsMicrosoft Research
David ŠafránekMasaryk University
Chris ThachukCalifornia Institute of Technology
Erik WinfreeCalifornia Institute of Technology