Wednesday, September 16, 2015
| Time | Event | |
| 13:45 - 14:00 | Opening of the Conference | |
| 14:00 - 15:00 | Marta KWIATKOWSKA - Estimation and Verification of Hybrid Heart Models for Personalised Medical and Wearable Devices |
|
| 15:00 - 15:30 | SReach: A Probabilistic Bounded ẟ-Reachability Analyzer for Stochastic Hybrid Systems - Qinsi Wang, Paolo Zuliani, Soonho Kong, Sicun Gao and Edmund Clarke |
|
| 15:30 - 16:00 | Experimental design for inference over the A. thaliana circadian clock network - Daniel Trejo Banos, Guido Sanguinetti and Andrew J. Millar | |
| 16:00 - 16:30 | Coffee break | |
| 16:30 - 17:00 | Efficient stochastic simulation of systems with multiple time scales via statistical abstraction - Luca Bortolussi, Dimitrios Milios and Guido Sanguinetti |
|
| 17:00 - 17:30 | Approximate Bayesian Computation for Stochastic Single-Cell Time-Lapse Data Using Multivariate Test Statistics - Carolin Loos, Carsten Marr, Fabian Theis and Jan Hasenauer |
|
| 17:30 - 18:00 | Stochastic Analysis of Chemical Reaction Networks Using Linear Noise Approximation - Luca Laurenti, Luca Cardelli and Marta Kwiatkowska |
|
| 18:00 - 18:30 | Adaptive moment closure for parameter inference of biochemical reaction networks - Sergiy Bogomolov, Thomas A. Henzinger, Andreas Podelski, Jakob Ruess and Christian Schilling |
|
Thursday, September 17, 2015
| Time | Event | |
| 09:00 - 10:00 | Gilles BERNOT - A genetically modified Hoare logic that identifies the parameters of a gene network |
|
| 10:00 - 10:30 | Inferring Executable Models from Formalized Experimental Evidence - Carolyn Talcott, Merrill Knapp, Vivek Nigam, Robin Donaldson and Tim McCarthy |
|
| 10:30 - 11:00 | Coffee break | |
| 11:00 - 11:30 | Symbolic dynamics of biochemical pathways as finite states machines - Ovidiu Radulescu, Satya Swarup Samal, Aurélien Naldi, Dima Grigoriev and Andreas Weber | |
| 11:30 - 12:00 | Feature Learning using Stacked Autoencoders to Predict the Activity of Antimicrobial Peptides - Francy Camacho, Rodrigo Torres and Raúl Ramos |
|
| 12:00 - 12:30 | Structural simplification of chemical reaction networks preserving deterministic semantics - Guillaume Madelaine, Cedric Lhoussaine and Joachim Niehren |
|
| 12:30 - 14:00 | Lunch + POSTER SESSION | |
| 14:00 - 15:00 | David HAREL - More Thoughts on the Whole Organism Challenge |
|
| 15:00 - 15:30 | Automating development of metabolic network models - Robert Rozanski, Oliver Ray, Ross King and Stefano Bragaglia |
|
| 15:30 - 16:00 | Reasoning about Reaction Networks with Partial Kinetic Information - Joachim Niehren, Mathias John, Cristian Versari, François Coutte and Philippe Jacques |
|
| 16:00 - 16:30 | Coffee break | |
| 16:30 - 17:00 | Boolean Network Identification from Multiplex Time Series Data - Max Ostrowski, Loïc Paulevé, Torsten Schaub, Anne Siegel and Carito Guziolowski |
|
| 17:00 - 17:30 | BioPSy: An SMT-based Tool for Guaranteed Parameter Set Synthesis of Biological Models - Curtis Madsen, Fedor Shmarov and Paolo Zuliani |
|
| 17:30 - 18:00 | Derivation of dynamical qualitative models from biochemical networks - Wassim Abou-Jaoudé, Jérôme Feret and Denis Thieffry |
|
| 18:00 - 18:30 | Flash presentations |
|
| 19:00 - 21:00 | Gala Dinner |
Friday, September 18, 2015
| Time | Event | |
| 09:00 - 10:00 | David FELL - Perspectives on Genome Scale Modelling of Metabolism |
|
| 10:00 - 10:30 | Model-based Investigation of Bidirectional Coupling between the Cell Cycle and the Circadian Clock - Pauline Traynard, François Fages and Sylvain Soliman |
|
| 10:30 - 11:00 | Analysis of a Post-translational Oscillator Using Process Algebra and Spatio-temporal Logic - Chris Banks, Daniel Seaton and Ian Stark |
|
| 11:00 - 11:30 | Coffee break | |
| 11:30 - 12:00 | Modeling of Resilience Properties in Oscillatory Biological Systems using Parametric Time Petri Nets - Alexander Andreychenko, Morgan Magnin and Katsumi Inoue |
|
| 12:00 - 12:30 | Parameter Synthesis by Parallel Coloured CTL Model Checking - Lubos Brim, Milan Ceska, Martin Demko, Samuel Pastva and David Šafránek |
|
| 12:30 - 13:00 | Analysing Cell Line Specific EGFR Signalling via Optimized Automata Based Model Checking - Heike Siebert, Adam Streck and Kirsten Thobe |
|
| 13:00 - 14:30 | Lunch | |
| 14:30 - 18:30 | WORKSHOP - SYSTEMIC SYMBOLIC BIOLOGY (BIOSS) |
