14:00 Opening by Davide Bassi (Rector of the University of Trento) and Gianluca Salvatori (Provincia Autonoma di Trento) and Lucia Maestri (Town council of Trento)

14:30 Corrado Priami (The Microsoft Research – University of Trento Centre for Computational and Systems Biology)

15:00 Luca Cardelli (Microsoft Research), Artificial Biochemistry

15:30 coffee break

16:00 Jane Hillston (University of Edinburgh), Systems Biology Activity at Edinburgh

16:30 Lin Uhrmacher (University of Rostock), Multi-level and multi-formalism modeling and simulation in Systems Biology: Promises and Challenges

17:00 Pietro Liò (University of Cambridge), Modeling the immune system: quasi species dynamics in Hiv infection

9:00 Carlo Cosentino (University of Catanzaro), Piecewise-Affine Dynamical Model of the Cell Cycle Regulatory Network in Fission Yeast

9:30 Cesare Furlanello (ITC-irst), Predictive profiling for high-throughput functional genomics

10:00 Enrico Blanzieri (University of Trento), Data quality and a priori information in microarray gene expression analysis

10:30 coffee break

11:00 Paola Quaglia (University of Trento), Shaped interactions in Beta-binders

11:30 Ela Hunt (University of Glasgow), Database support and visualisation for biological data types

12:00 – 14:00 buffet lunch

14:00 Wolfgang Marwan (Max-Planck-Institut), Systems Biology of Halophilic Archaea

14:30 Gianni Cuda and Mario Cannataro (University of Catanzaro), Management, Preprocessing and Data Mining Analysis of Mass Spectrometry Proteomics Data

15:00 coffee break

15:30 Ralf Blossey (IRI Villeneuve d’Ascq), Coarse-grained models for gene regulation

16:00 Magali Roux-Rouquié (LIP6 – CNRS UPMC, Paris), Linking data integration to system analysis

16:30 John Heath (University of Birmingham), Computer assisted biological reasoning: applying stochastic pi-calculus techniques to simulation and analysis of FGF signalling pathway dynamics

17:00 Alessandro Quattrone (University of Firenze), An ontology-based information system for the dynamic integration of high throughput biological data with textual knowledge

20:00 dinner

9:00 Roberto Gorrieri (University of Bologna), Modelling Biological Systems with Polyadic Synchronization and Priority

9:30 Esther Graudens (CNRS, Paris), Modelling cellular states of innate tumor drug response

10:00 Matteo Cavaliere (The Microsoft Research - University of Trento Centre for Computational and Systems Biology), Modeling (and Simulating) Biological Processes with Stochastic Multiset Rewriting

10:30 coffee break

11:00 Graziano Pesole (University of Bari), Computational identification of novel genes and regulatory elements in the human genome

11:30 Riccardo Velasco (IASMA Research Centre), Beyond the Genome: What's next in plant system biology

12:00 Giancarlo Mauri (University of Milano), Modeling biological processes with P-systems

12:00-14:00 lunch

14:00 Informal meetings