Deadline extension - FBTC 2010, From Concurrency To Biology and back
Paola Quaglia
[Apologies for multiple posting]
** Deadline Extension
** 3rd Workshop "From Biology To Concurrency and back" (FBTC 2010)
** New deadline for abstracts: November 29, 2009 (abstracts)
** New deadline for papers: December 8, 2009
More information below or at http://www.disi.unitn.it/~fbtc2010/
================================================================================
CALL FOR PAPERS: FBTC 2010
From Biology To Concurrency and back
(satellite event of ETAPS 2010)
March 27, 2010
Paphos, Cyprus
http://www.disi.unitn.it/~fbtc2010/
================================================================================
AIMS AND OBJECTIVES
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.
SUBMISSION AND PUBLICATION
Submission through EasyChair,
15 pages manuscripts in EPTCS (http://www.eptcs.org/) style.
IMPORTANT DATES
Submission of title and abstract: November 29, 2009
Submission of paper: December 8, 2009
Notification: January 17, 2010
Submission of final version: February 21, 2010
PROGRAMME COMMITEE (to be confirmed)
Marco Antoniotti (University of Milan Bicocca, IT)
Chiara Bodei (University of Pisa, IT)
Luca Bortolussi (University of Udine, IT)
Luca Cardelli (Microsoft Research Cambridge, UK)
Erik de Vink (Technische Universiteit Eindhoven, NL)
Vincent Danos (CNRS and University of Edinburgh, UK)
Fran�ois Fages (INRIA Paris-Rocquencourt, F)
Anthony Finkelstein (University College London, UK)
Walter Fontana (Harvard Medical School, US)
Radu Grosu (Stony Brook University, US)
Jane Hillston (University of Edinburgh, UK)
Anna Ing�lfsd�ttir (Reykjavik University, IS)
John Lygeros (Automatic Control Laboratory, CH)
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)