[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
[PVS] Cfp FBTC 2010, From Concurrency To Biology and back
_Apologies for multiple posting_
CALL FOR PAPERS
3rd Int. Workshop "From Biology To Concurrency and back"
March 27, 2010, Paphos, Cyprus
Satellite event of ETAPS 2010, http://www.etaps10.cs.ucy.ac.cy/
As in its previous editions, the workshop aims at gathering researchers with
special interest at the convergence of life and computer science, with
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
Topics of interest include, but are not limited to: applications of techniques
from rewriting logics, process calculi, Petri Nets, graph grammars, hybrid
and model checking to the representation and testing of scenarios from life
Title and abstract submission: Sunday, November 8, 2009
Paper submission: Sunday November 15, 2009
Author notification: Sunday January 17, 2010
Camera-ready papers: Friday February 12, 2010
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 (https://www.easychair.
Papers should take the form of a pdf file in
EPTCS style (http://www.eptcs.org/),
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.
A soft-copy of the proceedings will be distributed at the workshop.
Full versions of selected papers may later on be invited for an archival
journal special issue dedicated to FBTC 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)
Alberto Policriti (University of Udine, IT)