Programme

‹ vendredi 18 septembre 2015
09:00
10:00
11:00
12:00
13:00
14:00
15:00
16:00
17:00
18:00
›9:00 (1h)
David FELL
Perspectives on Genome Scale Modelling of Metabolism
›10:00 (30min)
Model-based Investigation of Bidirectional Coupling between the Cell Cycle and the Circadian Clock
Pauline Traynard, François Fages and Sylvain Soliman
›11:00 (30min)
Pause café
›11:30 (30min)
Modeling of Resilience Properties in Oscillatory Biological Systems using Parametric Time Petri Nets
Alexander Andreychenko, Morgan Magnin and Katsumi Inoue
›12:00 (30min)
Parameter Synthesis by Parallel Coloured CTL Model Checking
Lubos Brim, Milan Ceska, Martin Demko, Samuel Pastva and David Šafránek
›12:30 (30min)
Analysing Cell Line Specific EGFR Signalling via Optimized Automata Based Model Checking
Heike Siebert, Adam Streck and Kirsten Thobe
›13:00 (1h30)
Déjeuner
›14:30 (4h)
ATELIER
SYSTEMIC SYMBOLIC BIOLOGY (BIOSS)
Session
Discours
Logistique
Pause
Sortie
e
Personnes connectées : 1 Flux RSS