Speakers
Modeling aging within bacterial population using a probabilistic p-calculus
Bruno Apolloni, University of Milan, Italy
Biological-inspired Robotics
Paolo Arena, University of Catania, Italy
Molecules as Automata
Luca Cardelli, Microsoft Research, Cambridge, UK
Nature-Inspired Approach applied to Game Theory
Vincenzo Cutello, University of Catania, Italy
Formal Methods, Concurrency and Rule-based Modeling in System Biology (part 2/3)
Vincent Danos, Harvard Medical School - Harvard University, USA and Santa Fe Institute, Santa Fe, NM, USA
Executable Models for Synaptic Plasticity
Pierpaolo Degano, University of Pisa, Italy
On the Causal Structure of Molecular Systems -
Formal Methods, Concurrency and Rule-based Modeling in System Biology (part 1/3)
Walter Fontana, Harvard Medical School - Harvard University, USA
Perspectives in Synthetic Biology
Jim Haseloff, University of Cambridge, UK
Formal Methods, Concurrency and Rule-based Modeling in System Biology: Simulation and Causality in rule based modeling of bio molecular pathways (part 3/3)
Jean Krivine, Harvard Medical School - Harvard University, USA
Systems Biology: Combining Formal and Statistical Approaches
Pietro Liò, University of Cambridge, UK
Mathematical Aspects of Information Storage
Lakshminarayanan Mahadevan, Harvard University, USA
Metabolic P Systems.
DNA Algorithms based on PCR.
Vincenzo Manca, University of Verona, Italy
Combinatorial optimization by natural processes, with a special eye to ants
Vittorio Maniezzo, University of Bologna, Italy
Computing and modeling with membrane systems
Giancarlo Mauri, University of Milan - Bicocca, Italy
Optimization and Design using Nature-Inspire Computing
Giuseppe Nicosia, University of Catania, Italy
The BlenX programming language: a biology encoder
Corrado Priami, The Microsoft Research - University of Trento CoSBi, Italy
Natural Computation
Grzegorz Rozenberg, Leiden University, The Netherlands
Engineering Immunity: From Natural to Artificial Immune Systems
Jon Timmis, York University, UK
Seminars
Behzad Bastani, University of Cambridge, UK and Cambridge MIT Institute (CMI), UK - USA
Paolo Bellavista, University of Bologna, Italy
Tammy Cheng, University of Cambridge, UK
Maria Luisa Guerriero, University of Edinburgh, UK
Eric Yu-En Lu, University of Cambridge, UK
Marco Mamei, University of Modena, Italy
Paolo Milazzo, University of Pisa, Italy
Program
- Saturday September 20th, 2008: arrival.
14:00-19:30 Reception (via Frangipane, 4) 19:30 Welcome buffet
- Sunday September 21th, 2008
08:00-09:00 Breakfast 09:00-09:10 Welcome address 09:10-11:00 Lecture 11:00-11:30 Coffee break 11:30-13:00 Lecture 13:00-14:00 Lunch 14:00-16:00 Lecture 16:00-16:30 Coffee break 16:30-17:30 Lecture 17:30-18:30 Lecture/Seminar 19:30 Dinner (Osteria della Serafina, via Roma 29, Bertinoro)
- Monday September 22th
08:00-09:00 Breakfast 09:00-11:00 Lecture 11:00-11:30 Coffee break 11:30-13:00 Lecture 13:00-14:00 Lunch 14:00-16:00 Lecture 16:00-16:30 Coffee break 16:30-17:30 Lecture 17:30-18:30 Lecture/Seminar 18:30-19:30 Poster session 19:30 Dinner (Crostinoteca "Le Mura", piazza della Libertà, Bertinoro)
- Tuesday September 23th
08:00-09:00 Breakfast 09:00-11:00 Lecture 11:00-11:30 Coffee break 11:30-13:00 Lecture 13:00-14:00 Lunch 14:00-16:00 Lecture 16:00-16:30 Coffee break 16:30-17:30 Lecture 17:30-18:30 Lecture/Seminar 19:30 Dinner (Agriturismo Casina Pontormo, via dei Cappuccini 460, Bertinoro)
- Wednesday September 24th
08:00-09:00 Breakfast 09:00-11:00 Lecture 11:00-11:30 Coffee break 11:30-13:00 Lecture 13:00-14:00 Lunch 14:00-15:00 Lecture/Seminar 15:00- Excursion to Bologna with dinner at the restaurant "La Scuderia" in the small medieval town of Dozza (departure from piazza del Vignaiolo, Bertinoro)
- Thursday September 25th
08:00-09:00 Breakfast 09:00-11:00 Lecture 11:00-11:30 Coffee break 11:30-13:00 Lecture 13:00-14:00 Lunch 14:00-16:00 Lecture 16:00-16:30 Coffee break 16:30-17:30 Lecture 17:30-18:30 Lecture/Seminar 18:30-19:30 Poster session 19:30 Dinner (Crostinoteca "Le Mura", piazza della Libertà, Bertinoro)
- Friday September, 26th, 2008
08:00-09:00 Breakfast 09:00-11:00 Lecture 11:00-11:30 Coffee break 11:30-13:00 Lecture 13:00-14:00 Lunch 14:00-15:00 Lecture/Seminar 15:00- Excursion to Ravenna with dinner at the restaurant "La buona tavola" (departure from piazza del Vignaiolo, Bertinoro)
- Saturday September 27th, 2008 departure.
08:00-09:00 Breakfast