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

Workshop schedule

Workshop will take place July 19, 2015.

Start Time
13:30 Opening remarks
13:40 Keynote
Chris J. Myers
Stochastic Model Checking of Genetic Circuits
14:30 Contributed talk
Lubos Brim, Martin Demko, Samuel Pastva and David Šafránek.
Coloured Model Checking Approach to Parameter Synthesis for Executable Models in Synthetic Biology
15:00 Coffee break
15:30 Keynote
Matthew Lakin
Modular verification of chemical reaction networks via serializability analysis
16:20 Contributed talk
Joseph Berleant, Christopher Berlind, Joseph Schaeffer, Niranjan Srinivas, Chris Thachuk and Erik Winfree
Automated Sequence Analysis for Domain-Level DSD Systems
16:50 Break
17:00 Tutorial
Boyan Yordanov
Satisfiability modulo theories (SMT)-based analysis and design of biochemical systems
17:50 Adjourn for dinner