| Authors | Title | Paper | Talk |
|---|
| Tommaso Dreossi, Thao Dang and Carla Piazza | Parameter Synthesis using Parallelotopic Enclosure and Applications to Epidemic Models |  | Jul 23 15:30 |
| Anatoly Sorokin, Oksana Sorokina and J. Douglas Armstrong | RKappa: Statistical sampling suite for Kappa models. |  | Jul 24 14:55 |
| Alvis Brazma, Karlis Cerans, Dace Ruklisa, Thomas Schlitt and Juris Viksna | Modeling and analysis of qualitative behavior of gene regulatory networks |  | Jul 24 09:45 |
| Claudio Angione, Ezio Bartocci, Luca Bortolussi, Pietro Lio', Annalisa Occhipinti and Guido Sanguinetti | Bayesian Design for Whole Cell Synthetic Biology Models |  | Jul 24 14:30 |
| Alexandre Rocca, Thao Dang and Eric Fanchon | Exploiting the eigenstructures of linear systems to speed up reachability computation |  | Jul 24 12:30 |
| David C Sterratt, Oksana Sorokina and J Douglas Armstrong | Integration of rule-based models and compartmental models of neurons |  | Jul 24 11:30 |
| Charalampos Kyriakopoulos and Verena Wolf | Optimal Observation Time Points in Stochastic Chemical Kinetics |  | Jul 24 12:00 |
| Donal Stewart, Stephen Gilmore and Michael Cousin | FM-Sim : A Hybrid Protocol Simulator of Fluorescence Microscopy Neuroscience Assays with Integrated Bayesian Inference |  | Jul 23 09:45 |