Programme of FBTC at ETAPS 2010

(From Biology to Concurrency and back)

Saturday, March 27

09:20 - 10:30 SESSION 1

9.15: Opening

9.30: Invited talk by Alberto Policriti (t.b.a.)

10:30 - 11:00 Coffee

11:00 - 12:30 SESSION 2

11.00: Complementary approaches to understanding the plant circadian clock

Ozgur E. Akman, Maria Luisa Guerriero, Laurence Loewe and Carl Troein

11.30: Flux Analysis in Process Models via Causality

Ozan Kahramanogullari

12.00: Modelling and Analysis of Biochemical Signalling Pathway Cross-talk

Robin Donaldson and Muffy Calder

12:30 - 14:00 Lunch

14:30 - 16:00 SESSION 3

14.30: Investigating modularity in the analysis of process algebra models of biochemical systems

Federica Ciocchetta, Maria Luisa Guerriero and Jane Hillston

15.00: A Flexible Architecture for modeling and simulation of diffusional association

Fiete Haack, Stefan Leye and Adelinde M. Uhrmacher

15.30: Types for BioAmbients

Sara Capecchi and Angelo Troina

16:00 - 16:30 Coffee

16:30 - 17:40 SESSION 4

16.30: BlenX-based compositional modeling of complex reaction mechanisms

Judit Zamborszky and Corrado Priami

17.00: A Taxonomy of Causality-Based Biological Properties

Chiara Bodei, Andrea Bracciali, Davide Chiarugi and Roberta Gori

17:30 - 17:40 Closing