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

Invited Speakers

Matthew Lakin
University of New Mexico
Modular verification of chemical reaction networks via serializability analysis
Chris J. Myers
The University of Utah
Stochastic Model Checking of Genetic Circuits


Boyan Yordanov
Microsoft Research
Satisfiability modulo theories (SMT)-based analysis and design of biochemical systems