PROGRAM
09.15-09.30OPENING
09.30-10.00 SELECTED PAPER: Bogdan Aman and Gabriel Ciobanu
Describing the Immune System Using Enhanced Mobile Membranes
10.00-10.30 SELECTED PAPER: Cristian Versari and Nadia Busi
Efficient Stochastic Simulation of Biological Systems with Multiple Variable Volumes
10.30-11.00 COFFEE BREAK
11.00-12.00 INVITED LECTURE: David Harel (Weizmann Institute of Science, IL)
On the Benefits of Viewing Biological Artifacts as Concurrent Reactive Systems
12.00-12.30 SELECTED PAPER: Claudia Täubner and Silke Eckstein
Signal Transduction Pathways as Concurrent Reactive Systems:
A Modeling and Simulation Approach Using LSCs and the Play-Engine
12.30-14.00 LUNCH BREAK
14.00-14.30 SELECTED PAPER: Chiara Bodei
A static analysis for Beta-Binders
14.30-15.00 SELECTED PAPER: Federica Ciocchetta and Jane Hillston
Bio-PEPA: an extension of the process algebra PEPA for biochemical networks
15.00-15.30 SELECTED PAPER: Ezio Bartocci, Flavio Corradini, Maria Rita Di Berardini, Emilia Entcheva, Radu Grosu and Scott A. Smolka
Spatial Networks of Hybrid I/O Automata for Modeling Excitable Tissue
15.30-16.00 COFFEE BREAK
16.00-16.30 SELECTED PAPER:Luca Cardelli, Philippa Gardner and Ozan Kahramanogulları
A Process Model of Rho GTP-binding Proteins in the Context of Phagocytosis
16.30-17.00 SELECTED PAPER: Mathias John, Roland Ewald and Adelinde M. Uhrmacher
A Spatial Extension to the PI-Calculus
17.00-17.30 SELECTED PAPER: Roberto Barbuti, Giulio Caravagna, Andrea Maggiolo-Schettini and Paolo Milazzo
An Intermediate Language for the Simulation of Biological Systems
17.30-18.00 SELECTED PAPER: J. Barnat, L. Brim, I. Černá, S. Dražan and D. Šafránek
Parallel Model Checking Large-Scale Genetic Regulatory Networks with DIVINE
REGISTRATION
Every participant to the workshop MUST register online at the CONCUR registration web page.
Early registration fee (not later than July 31) is 45 € per students and 60 € regular. The registration includes access to all sessions of the workshops, informal proceedings, and coffee breaks.
The workshop is held at the Faculty of Social and Human Sciences, Universidade Nova de Lisboa, 5 minutes walking from the Gulbenkian Foundation
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 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.
Concurrency theory permits hypotheses generation and testing. Models can therefore be simulated, analyzed, checked and validated. A growing "arsenal" of theoretical models, logics, and tools for understanding concurrent systems has been developed. We recognize that concurrency soaks not only computer systems but also nature and living organisms. We can find concurrency at the molecular level as well as at those of cells, organs, individuals, communities and ecological systems. Also, biological inspired computing could benefit from concurrency theory.
INVITED SPEAKER
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 Schmeck, 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
IMPORTANT DATES
Deadline for paper submission: EXTENDED June 17 2007
Notification of acceptance: July 17 2007
Final version of papers: August 6 2007
CALL FOR PAPERS (CLOSED)
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 at least 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@unicam.it.
ORGANIZERS
Nicola Cannata
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
