4th International Workshop on Interactions between Computer Science and Biology

6th of June 2013 - Florence, Italy

Affiliated to DisCoTec'13.


Programme (updated 2/6) and preliminary proceedings

Program Committee
Steering Committee
Past Editions



Call For Papers

Systems Biology is a stimulating field of application for computer scientists and a promising resource for biologists. The aim of this workshop is to gather researchers in formal methods that are interested in the convergence of Computer Science and Life Sciences. Topics of interest include, but shall not be limited to:

Formal Biological Modelling: Formal methods for the representation of biological systems and their dynamics (rewrite systems, process calculi, Petri nets, graph grammars, hybrid systems, etc.); Theoretical links and comparisons between different formal models for the modelling of biological processes; Quantitative (probabilistic, timed, stochastic, etc.) languages and calculi; Spatial (geometrical, topological) languages and calculi; Prediction of biological behaviour from incomplete information; Model checking, abstract interpretation, type systems, etc.
Novel Computational Paradigms for Understanding Biological Complex Systems: Quantum information and life sciences; Geometry, algebraic and computational topology and biomathematics; Information processing and biomedicine; Statistical mechanics and biophysics.
Tools and Simulations: Modelling, analysis and simulation tools for systems biology; Emergence of properties in complex biological systems; Tools for parallel, distributed, and multi-resolution simulation methods; Detailed biological case-studies.

Invited Speakers

Giuseppe Longo (ENS Paris, France)
Mario Rasetti (ISI Foundation, Italy)


The proceedings of the workshop will be published in a volume of the Elsevier ENTCS series.
After the event, papers presented at the workshop will be invited to be furtherly extended and submitted to an open special issue of the journal Theoretical Computer Science.

Important Dates

Submission deadline
26 March 2013
Notification to authors
03 May 2013

Early registration
06 May 2013

Normal registration
01 June 2013


Topology Driven Methods
for Complex Systems