Programme
Monday, 31 August (Aula Absidale)
| 8.45-9.00 | Opening |
| 9.00-10.00 | John K. Heath The equivalence between biology and computation |
10.00-10.30 | Bing Liu, P.S. Thiagarajan and David Hsu Probabilistic Approximations of Signaling Pathway Dynamics |
10.30-11.00 | coffee break | 11.00-12.30 | Thao Dang, Colas Le Guernic and Oded Maler Computing Reachable States for Nonlinear Biological Models Elena Czeizler, Eugen Czeizler, Ralph-Johan Back and Ion Petre Control strategies for the regulation of the eukaryotic heat shock response Ozgur Akman, Federica Ciocchetta, Andrea Degasperi and Maria Luisa Guerriero Modelling Biological Clocks with Bio-PEPA: Stochasticity and Robustness for the Neurospora Crassa Circadian Network |
12.30-14.00 | lunch | 14.00-14.30 | First poster session | 14.30-15.30 | Rita Casadio Prediction of protein-protein interacting sites: how to bridge molecular events to large scale protein interaction networks |
15.30-16.00 | coffee break | 16.00-18.00 | Marc Bailly-Bechet, Alfredo Braunstein and Riccardo Zecchina A prize-collecting Steiner tree approach for transduction network inference Vashti Galpin and Jane Hillston Equivalence and discretisation in Bio-PEPA Mathias John, Cedric Lhoussaine and Joachim Niehren Dynamic Compartments in the Imperative Pi Calculus Giorgio Delzanno, Cinzia Di Giusto, Maurizio Gabbrielli, Cosimo Laneve and Gianluigi Zavattaro The kappa-lattice: Decidability Boundaries for Qualitative Analysis in Biological Languages |
20.00 | Social dinner at Cantina Bentivoglio |
Tuesday , 1 September (Aula Absidale)
| 9.00 - 10.00 | Corrado Priami -- Jointly with CONCUR BlenX4Bio - BlenX for Biologists |
| 10.00-10.10 | transfer to Aula Prodi |
| 10.10-10.40 | Lucia Napione, Daniele Manini, Francesca Cordero, Andras Horvath,
Andrea Picco, Massimiliano De Pierro, Simona Pavan, Matteo Sereno,
Andrea Veglio, Gianfranco Balbo and Federico Bussolino On the use of Stochastic Petri Nets in the analysis of a signal transduction pathways for angiogenesis process |
10.40-11.00 | coffee break |
| 11.00-12.30 | Frederic Didier, Thomas Henzinger, Maria Mateescu and Verena Wolf Approximation of Event Probabilities in Noisy Cellular Processes Hayssam Soueidan, Grégoire Sutre and Macha Nikolski Qualitative Transition Systems for the Abstraction and Comparison of Transient Behavior in Parametrized Dynamic Models Peter Gennemark and Dag Wedelin Improved Parameter Estimation for Completely Observed Ordinary Differential Equations with Application to Biological Systems |
12.30-14.00 | lunch | 14.00-14.30 | Second poster session |
| 14.30-15.30 |
Sumit Kumar Jha, Edmund Clarke, Christopher Langmead, Axel Legay, Andre Platzer and Paolo Zuliani A Bayesian Approach to Model Checking Biological Systems Martin Schwarick and Monika Heiner CSL model checking of biochemical networks with Interval Decision Diagrams |
| 15.30-16.00 | coffee break |
| 16.00-18.00 |
Giampaolo Bella and Pietro Lio Formal Analysis of the Genetic Toggle Elisabetta De Maria, François Fages and Sylvain Soliman On Coupling Models using Model-Checking: the Effects of Irinotecan Injections on the Mammalian Cell Cycle Michele Baggi, Demis Ballis and Moreno Falaschi Quantitative Pathway Logic for Computational Biology Aurélien Naldi, Elisabeth Remy, Denis Thieffry and Claudine Chaouiya A reduction of logical regulatory graphs preserving essential dynamical properties |
| 18.15 | Guided walk from conference location to cocktail location with description of historical sites |
| 20.00 | Farewell cocktail (jointly with CONCUR) at Accademia di Belle Arti |