Programme
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) |
|
|
