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