A Satellite Workshop of ICALP 2008
July 12, 2008, Reykjavik, Iceland
| Time | Author(s) | Title |
|---|---|---|
| 9.00 | Workshop Participants | Registration |
| Session 1 | Chair: Emanuela Merelli | |
| 9.15 | Emanuela Merelli and Nicola Cannata | Welcome |
| 9.30 | Igor Cappello, Paola Quaglia | A Translation of Beta-binders in a Prioritized pi-calculus |
| 10.00 | Luca Cardelli, Emmanuelle Caron, Philippa Gardner, Ozan Kahramanogullari, Andrew Phillips | A Process Model of Actin Polymerisation |
| 10.30 | Break | |
| Session 2 | Chair: Nicola Cannata | |
| 11.00 | Carolyn Talcott | Invited Lecture: Pathway Logic: An Example of Symbolic Systems Biology |
| 12.00 | Roberto Barbuti, Andrea Maggiolo Schettini, Paolo Milazzo, Giovanni Pardini | Topological Calculus of Looping Sequences |
| 12.30 | Lunch | |
| Session 3 | Chair: Anna Ingolfsdottir | |
| 14.00 | Paolo Ballarini, Radu Mardare, Ivan Mura | Analysing Biochemical Oscillation through Probabilistic Model Checking |
| 14.30 | Ezio Bartocci, Flavio Corradini, Emanuela Merelli, Luca Tesei | Model Checking Biological Oscillators |
| 15.00 | Alessio Coletta, Roberta Gori, Francesca Levi | Approximating Probabilistic Behaviours of Biological Systems using Abstract Interpretation |
| 15.30 | Break | |
| Session 4 | Chair: Carolyn Talcott | |
| 16.00 | Soufiene Benkirane, Jane Hillston, Chris McCaig, Rachel Norman, Carron Shankland | Improved Continuous Approximation of PEPA Models through Epidemiological Examples |
| 16.30 | Federica Ciocchetta, Andrea Degasperi, Jane Hillston, Muffy Calder | Some Investigations Concerning the CTMC and the ODE Model Derived from Bio-PEPA |
| 17.00 | Luca Bortolussi, Alberto Policriti | The Importance of Being (a little bit) Discrete |
| 17.30 | Dario Campagna, Carla Piazza | Hybrid Automata in Systems Biology: How far can we go? |
| 18.00 | Closing | |