3rd Workshop ''From Biology To Concurrency and back''
Satellite event of ETAPS 2010
March 27, 2010, Paphos, Cyprus
[ Aim ]
[ IMPORTANT DATES ]
[ Submission ]
[ Proceedings ]
[ Programme Committee ]
[ Invited speaker ]
[ Programme ]
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.
Title and abstract submission: Sunday, November 29, 2009
Paper submission: Tuesday December 8, 2009
Author notification: Thursday January 21, 2010
Camera-ready papers: Friday February 12, 2010
Workshop: Saturday March 27, 2010
Marco Antoniotti (University of Milan Bicocca, IT)
Chiara Bodei (University of Pisa, IT)
Luca Bortolussi (University of Trieste, IT)
Luca Cardelli (Microsoft Research Cambridge, UK)
Erik de Vink (Technische Universiteit Eindhoven, NL)
François Fages (INRIA Paris-Rocquencourt, F)
Anthony Finkelstein (University College London, UK)
Radu Grosu (Stony Brook University, US)
Jane Hillston (University of Edinburgh, UK)
Anna Ingólfsdóttir (Reykjavik University, IS)
Emanuela Merelli (University of Camerino, IT) (Co-chair)
Paola Quaglia (CoSBi and Trento University, IT) (Co-chair)
Carolyn Talcott (SRI International, US)
Adelinde Uhrmacher (University of Rostock, DE)
Cristian Versari (University of Bologna, IT)
09:15 - 09:30
09:30 - 10:30
Invited talk by
Mixing Discrete and Continuous Modeling for Systems Biology
10:30 - 11:00
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
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
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
17:30 - 17:40
Last updated: March 13, 2010