| Submission deadline | May 2, 2014 |
| Notification | May 18, 2014 |
| Camera ready | June 1, 2014 |
| Early registration deadline | June 8, 2014 |
All workshop sessions will take place in FH, Seminarraum 136.
| Start Time | |
|---|---|
| 08:45 | Opening remarks Marta Kwiatkowska |
| 09:00 | Tutorial Andrew Phillips Computational design of DNA strand displacement systems |
| 09:50 | Contributed paper Casey Grun, Karthik Sarma, Brian Wolfe, Seung Woo Shin and Erik Winfree A domain-level DNA strand displacement reaction enumerator allowing arbitrary non-pseudoknotted secondary structures |
| 10:15 | Coffee break |
| 10:45 | Keynote Masami Hagiya Molecular computers for molecular robots as hybrid systems |
| 11:40 | Oral presentation Lulu Qian DNA-based circuits in well-mixed and spatially organized systems |
| 12:10 | Contributed paper Robert F. Johnson and Erik Winfree Verifying Polymer Reaction Networks using Bisimulation |
| 12:35 | Contributed paper Savas Konur, Christophe Ladroue, Harold Fellermann, Daven Sanassy, Laurentiu Mierla, Florentin Ipate, Sara Kalvala, Marian Gheorghe and Natalio Krasnogor Modeling and Analysis of Genetic Boolean Gates Using the Infobiotics Workbench |
| 13:00 | Lunch break |
| 14:30 | Keynote Luca Cardelli Morphisms of reaction networks that couple structure to function |
| 15:20 | Contributed paper Seung Woo Shin, Chris Thachuk and Erik Winfree Verifying CRN Implementations: A Pathway Decomposition Approach |
| 15:45 | Lightening talks for posters/demos |
| 16:00 | Coffee break |
| 16:30 | Oral presentation Aadithya V. Karthik, David Soloveichik, Sayak Ray, Baruch Sterin, Alan Mishchenko, Robert Brayton and Jaijeet Roychowdhury Boolean modelling and formal verification of tiered-rate chemical reaction networks |
| 16:55 | Oral presentation Ricardo Honorato Formal mean field theories for graph rewriting |
| 17:20 | Oral presentation Jean Krivine Rule based modelling of DNA repair |
| 17:45 | Poster and demo session |
| 18:30 | Workshop closes |
Casey Grun. DyNAMiC Workbench: Automated design and verification of dynamic DNA nanosystems
Philip Boeing, Darren Nesbeth, Anthony Finkelstein and Chris P Barnes. An Aspect Oriented Design and Modelling Framework for Synthetic Biology
Frits Dannenberg, Milan Ceska, Nicola Paoletti and Marta Kwiatkowska. Guiding the development of DNA walker systems to guarantee reliability and performance
Paolo Milazzo and Giovanni Pardini. Identification of Components and Modular Verification of Biochemical Pathways
Neil Dalchau. Software tools for analysing the chemical master equation
