As in its previous editions, the workshop aims at gathering researchers with
special interest at the convergence of life and computer science, with particular
focus on the application of techniques and tools from concurrency.
We solicit the submission of unpublished results reporting on both
modelling, analysis, and validation of biological behaviours using
concurrency-inspired methods and platforms, and on bio-inspired models and
tools for describing distributed interactions.
Topics of interest include, but are not limited to:
applications of techniques from rewriting logics, process calculi, Petri Nets,
graph grammars, hybrid systems, and model checking to the representation and
testing of scenarios from life sciences.
We solicit the submission of unpublished papers reporting on original research on the topics of interest to FBTC.
Authors will have to submit their papers via EasyChair.
Papers should take the form of a pdf file in EPTCS style, and should not exceed 15 pages.
If necessary, detailed proofs or other additional material can be added in a clearly-labelled section "Applendix for referees".
Referees might review it at their discretion.
The proceedings will be a volume of the open-access journal EPTCS.
Full versions of selected papers may later on be invited for an archival journal special issue dedicated to FBTC 2010.
09:30 - 10:30
Invited talk by
Alberto Policriti
Mixing Discrete and Continuous Modeling for Systems Biology
10:30 - 11:00
Coffee break
11:00 - 11:30
Complementary approaches to understanding the plant circadian clock
Ozgur E. Akman, Maria Luisa Guerriero, Laurence Loewe and Carl Troein
11:30 - 12:00
A Taxonomy of Causality-Based Biological Properties
Chiara Bodei, Andrea Bracciali, Davide Chiarugi and Roberta Gori
12:00 - 12:30
Modelling and Analysis of Biochemical Signalling Pathway Cross-talk
Robin Donaldson and Muffy Calder
12:30 - 14:00
Lunch break
14:30 - 15:00
Investigating modularity in the analysis of process algebra models of biochemical systems
Federica Ciocchetta, Maria Luisa Guerriero and Jane Hillston
15:00 - 15:30
A Flexible Architecture for modeling and simulation of diffusional association
Fiete Haack, Stefan Leye and Adelinde M. Uhrmacher
15:30 - 16:00
Types for BioAmbients
Sara Capecchi and Angelo Troina
16:00 - 16:30
Coffee break
16:30 - 17:00
BlenX-based compositional modeling of complex reaction mechanisms
Judit Zamborszky and Corrado Priami
17:00 - 17:30
Flux Analysis in Process Models via Causality
Ozan Kahramanogullari
