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


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


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.


David Harel, Weizmann Institute of Science, IL


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


Deadline for paper submission: EXTENDED June 17 2007
Notification of acceptance:
July 17 2007
Final version of papers:
August 6 2007


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


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)

E-mail: (nicola.cannata,emanuela.merelli)


FBTC 2007

From Biology To Concurrency and back

Satellite workshop of

Lisbon, 8 September 2007