Workshop Programme
Friday, September 4th
| 09:15 - 09:30 | Opening | |
09:30 - 11:30 Session 1: Statistical analysisChair: Nicola Paoletti |
||
| 09:30 - 10:00 |
Eugenio Cinquemani (INRIA Grenoble) Reconstructing statistics of promoter switching from reporter protein population snapshot data |
|
| 10:00 - 10:30 |
Adam Streck and Heike Siebert (FU Berlin) Comparative Statistical Analysis of Qualitative Parametrization Sets |
|
| 10:30 - 11:30 | Coffee Break | |
11:30 - 13:30 Session 2: Analysis and verification of continuous and hybrid modelsChair: Luca Bortolussi |
||
| 11:30 - 12:00 |
R. Ramanathan, Yan Zhang, Jun Zhou, Weng-Fai Wong and P. S. Thiagarajan (National Univ. of
Singapore) Parallelized Statistical Model Checking for Analysis of Biological Pathways |
|
| 12:00 - 12:30 |
Lubos Brim, Martin Demko, Samuel Pastva and David Safranek (MU Brno) High-Performance Discrete Bifurcation Analysis for Piecewise-Affine Dynamical Systems |
|
| 12:30 - 13:00 |
Louis Fippo Fitime, Christian Schuster, Peter Angel, Olivier Roux and Carito Guziolowski (Univ.
of Nantes / DKFZ-ZMBH Heidelberg) Integrating time-series data on large-scale cell-based models |
|
| 13:00 - 13:30 |
Benjamin M. Gyori, Bing Liu, Soumya Paul, R Ramanathan and P S Thiagarajan (National Univ. of
Singapore / IRIT France / Harvard / Univ. of Pittsburgh) Approximate Probabilistic Verification of Hybrid Systems |
|
| 13:30 - 15:00 | Lunch Break | |
15:00 - 16:00 Plenary Talk 1Chair: Alessandro Abate |
||
| 15:00 - 16:00 |
Invited Speaker: Luca Cardelli (Microsoft Research) Morphisms of reaction networks |
|
| 16:00 - 16:30 | Coffee Break | |
16:30 - 18:30 Poster Session |
||
Saturday, September 5th
09:30 - 10:30 Plenary Talk 2Chair: David Safranek |
||
| 09:30 - 10:30 |
Invited Speaker: Mustafa Khammash (ETH Zurich) Cybergenetics: Synthetic Circuits and Systems for the Precise Control of Living Cells |
|
| 10:30 - 11:00 | Coffee Break | |
11:00 - 13:00 Session 3: Quantitative analysis of biological modelsChair: Milan Ceska |
||
| 11.00 - 11:30 |
Marta Kwiatkowska, Alexandru Mereacre, Nicola Paoletti and Andrea Patane' (Univ. of Oxford /
Univ. of Catania) Synthesising robust and optimal parameters for cardiac pacemakers using symbolic and evolutionary computation techniques |
|
| 11:30 - 12:00 |
Christoph Bock, Luca Bortolussi, Thilo Krüger and Linar Mikeev (Saarland University /
Univ. of Trieste / CeMM Vienna / Max Planck Inst. Saarbrucken) Model-based whole genome analysis of DNA methylation fidelity |
|
| 12:00 - 12:30 |
Laura Nenzi, Ezio Bartocci, Luca Bortolussi, Dimitrios Milios and Guido Sanguinetti (IMT Lucca / TU Vienna
/ Univ. of Trieste / Saarland Univ. / Univ. of Edinburgh) Studying Emergent Behaviours in Morphogenesis using Signal Spatio-Temporal Logic |
|
| 12:30 - 13:00 |
Andreea Beica, Calin Guet and Tatjana Petrov (IST Vienna) Efficient reduction of Kappa models by static inspection of the rule-set |
|
| 13:00 - 14:30 | Lunch Break | |
14:30-16:00 Session 4: Application of advanced models on case studiesChair: Tatjana Petrov |
||
| 14:30 - 15:00 |
Md. Ariful Islam, Richard Defrancisco, Chuchu Fan, Radu Grosu, Sayan Mitra and Scott Smolka
(Stony Brook Univ. / TU Vienna / Univ. of Illiois Urbana Champ.) Model Checking Tap Withdrawal in C. Elegans |
|
| 15:00 - 15:30 |
Delphine Draelants, Przemyslaw Klosiewicz, Jan Broeckhove and Wim Vanroose (Univ. of Antwerp) Solving General Auxin Transport Models with a Numerical Continuation Toolbox in Python: PyNCT |
|
| 15:30 - 16:00 |
Gustavo Santos-Garcia, Javier De Las Rivas and Carolyn Talcott (Univ. of Salamanca / SRI Int.) Analysis of Cellular Proliferation and Survival Signaling by Using Two Ligand/Receptor Systems Modeled by Pathway Logic |
|
| 16:00 - 16:30 | Coffee Break and Closing | |
