[Computational-biology] FBTC 2007: Call for papers

Nicola Cannata via comp-bio%40net.bio.net (by nicola.cannata from unicam.it)
Fri May 18 15:21:53 EST 2007


---------------------------------------------------------------------------
                            CALL FOR PAPERS
---------------------------------------------------------------------------


                      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: June 3 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



More information about the Comp-bio mailing list