[TYPES/announce] Deadline extension - FBTC 2010, From Concurrency To Biology and back

Paola Quaglia quaglia at disi.unitn.it
Thu Nov 12 13:31:26 EST 2009


[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)



More information about the Types-announce mailing list