[Computational-biology] Deadline extended: FBTC 2007

[Emanuela Merelli]

Due to some requests, the deadline for paper submissions to FBTC 2007  
has been extended to Sunday, June 17, 2007.

------------------------------------------------------------------------ 
---
            DEADLINE EXTENDED TO JUNE 17, 2007
------------------------------------------------------------------------ 
---


                      First International Workshop

            From Biology To Concurrency and back (FBTC 2007)


                   Satellite workshop of CONCUR 2007

                  8 September 2007, Lisbon, Portugal

                    http://cosy.cs.unicam.it/FBTC/

------------------------------------------------------------------------ 
---

SUMMARY
In computational theory, several formal approaches make use of  
biology as
inspiration for the development of problem solving techniques. Most  
of them
are taken from complex, inherently concurrent, systems. Some examples of
"biological inspired computing", are ant colonies, artificial immune  
systems,
cellular automata, genetic algorithms, membrane computing, neural  
networks,
organic computing, swarm intelligence.
On the other hand, concurrency has itself begun to inspire an emerging
research area in Biology. Regev and Shapiro indicated in 2002 the
Cells-as-Computation metaphor as the "much-needed abstraction for
biomolecular systems". Computers and biomolecular systems both start  
from a
small set of elementary components from which, layer by layer, more  
complex
entities are constructed with evermore sophisticated functions.
In computational systems biology, the abstractions, tools and methods  
used to
specify and study concurrent and distributed systems can therefore be
naturally adopted to model and better understand the complex  
biomolecular
systems. In this workshop we intend to explore this "cross- 
fertilization"
between computational sciences and biology, with a special attention to
concurrent models in biology and formal foundations in bio-inspired  
computing.

The workshop will be indicatively structured in the two sessions:
- Session "FROM" - Concurrency and formal methods in biological inspired
computing;
- Session "BACK" - Concurrent models and formal methods in biology.

CALL FOR PAPERS
Original research papers not published or submitted elsewhere are  
solicited.
Also reviews on the state of the art are encouraged. Every submitted  
paper
will be evaluated by 3 reviewers from the program committee. The  
accepted
contributions will be published in an issue of Electronic Notes in  
Theoretical
Computer Science. Please format your paper according to the ENTCS style.
Papers should not be longer than 15 pages and should be sent as PDF  
files to
fbtc2007 from unicam.it. Every submission will be acknowledged.
In the text of the mail please specify authors, title of the papers  
and the
session (FROM or BACK) in which your contribute is collocated.

IMPORTANT DATES
Deadline for paper submission: EXTENDED June 17 2007
Notification of acceptance: July 13 2007
Final version of papers: August 3 2007

INVITED SPEAKER(S)
David Harel, Weizmann Institute of Science, IL

PROGRAM COMMITTEE
Andrew Adamatzky, University of the West of England, UK
Uwe Aickelin, University of Nottingham, UK
Nadia Busi, University of Bologna, IT
Nicola Cannata (Co-Chair), University of Camerino, IT
Luca Cardelli, Microsoft Research Cambridge, UK
Gabriel Ciobanu, Romanian Academy, RO
Flavio Corradini, University of Camerino, IT
Pierpaolo Degano, University of Pisa, IT
Marco Dorigo, Free University of Bruxelles, BE
Mark d'Inverno, Goldsmiths College University of London, UK
Michael G. Hinchey, NASA Software Engineering Laboratory, US
Anthony Finkelstein, University College London, UK
Christoph Flamm, University of Vienna , AT
Radu Grosu, Stony Brook State University of New York, US
Pascal Hitzler, University of Karlsruhe, DE
Anna Ingolfsdottir, Reykjavik University , IS
Céline Kuttler, Microsoft Research - University of Trento CoSBi, IT
Andrea Maggiolo-Schettini, University of Pisa, IT
Pietro Liò, University of Cambridge, UK
Vincenzo Manca, University of Verona, IT
Emanuela Merelli (Co-Chair), University of Camerino, IT
Luciano Milanesi, CNR-ITB Milano, IT
Frank Neumann, MPI für Informatik Saarbrücken, DE
Andrea Omicini, University of Bologna-Cesena, IT
Riccardo Piergallini, University of Camerino, IT
Corrado Priami, Microsoft Research - University of Trento CoSBi, IT
Ehud Shapiro, Weizmann Institute of Science, IL
Hartmut Schmec, University of Karlsruhe, DE
Moshe Sipper, Ben-Gurion University, IL
Scott Smolka, Stony Brook State University of New York, US
Susan Stepney, University of York, UK
Jonathan Timmis, University of York, UK
Marco Tommasini, University of Lausanne, CH
Adelinde Uhrmacher, University of Rostock, DE

ORGANIZERS
Nicola Cannata  and Emanuela Merelli
COmplex SYstem Research Group
Department of Mathematics and Computer Science
University of Camerino
Via Madonna delle Carceri 9
I-62032 Camerino (MC)
Italy
E-mail: (nicola.cannata,emanuela.merelli)@unicam.it

WITH THE SUPPORT OF
http://www.litbio.org
http://www.unicam.it