FBTC 2010

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 ]

NEWS: Proceedings now available as volume 19 of EPTCS.


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.

Important dates


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.

Programme committee

Invited speaker

Steering committee


More on ETAPS events

Last updated: March 13, 2010