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
The entire area used for BNC 2008, the conference rooms and the rooms in the castle are covered by a Wi-Fi network. The connection is free, and participants will be informed on registration how they can freely connect.