[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]
[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)