| Submission deadline | June 6, 2015 |
| Notification | June 9, 2015 |
| Early registration deadline | June 10, 2015 |
Workshop will take place July 19, 2015.
| Start Time | |
|---|---|
| 13:30 | Opening remarks Organizers |
| 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 |