| Authors | Title | Paper | Talk |
|---|
| Luca Cardelli | Morphisms of reaction networks that couple structure to function |  | Jul 17 14:30 |
| Masami Hagiya | Molecular computers for molecular robots as hybrid systems | | Jul 17 10:45 |
| Andrew Phillips | Computational design of DNA strand displacement systems | | Jul 17 09:00 |
| Vincent Danos | Formal mean field theories for graph rewriting | | Jul 17 16:55 |
| Aadithya V. Karthik | NINJA: Boolean Modelling and Formal Verification of Tiered-Rate Chemical Reaction Networks | | Jul 17 16:30 |
| Jean Krivine | Rule-Based modeling of DNA repair | | Jul 17 17:20 |
| Lulu Qian | DNA-based circuits in well-mixed and spatially-organized systems | | Jul 17 11:40 |
| Philip Boeing | An Aspect Oriented Design and Modelling Framework for Synthetic Biology | | Jul 17 17:45 |
| Neil Dalchau | Software tools for analysing the chemical master equation | | Jul 17 17:45 |
| Frits Dannenberg | Guiding the development of DNA walker systems to guarantee reliability and performance | | Jul 17 17:45 |
| Casey Grun | DyNAMiC Workbench: Automated design and verification of dynamic DNA nanosystems | | Jul 17 17:45 |
| Paolo Milazzo | Identification of Components and Modular Verification of Biochemical Pathways | | Jul 17 17:45 |
| 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 | | Jul 17 12:35 |
| 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 | | Jul 17 09:50 |
| Seung Woo Shin, Chris Thachuk and Erik Winfree | Verifying CRN Implementations: A Pathway Decomposition Approach | | Jul 17 15:20 |
| Robert F. Johnson and Erik Winfree | Verifying Polymer Reaction Networks using Bisimulation | | Jul 17 12:10 |