CS2Bio 2012

18th Mar 2012Conferences and Workshops

The third edition of the International Workshop on Interactions between Computer Science and Biology – CS2Bio 2012 – will be held in Stockholm, Sweden, the 16th June 2012.

Web page: http://cs2bio12.di.unipmn.it/


Formal Biological Modelling:

  • Formal methods for the representation of biological systems and their dynamics (rewrite systems, process calculi, graph grammars, hybrid systems, etc.);
  • Theoretical links and comparison between different formal models for the modelling of biological processes;
  • Quantitative (probabilistic, timed, stochastic, etc.) languages and calculi;
  • Spatial (geometrical, topological) languages and calculi.

Formal Testing and Validation of Biological Properties:

  • Prediction of biological behaviour from incomplete information;
  • Model Checking, Abstract Interpretation, Type Systems, etc.

Tools and Simulations:

  • Modelling, analysis and simulation tools for systems biology;
  • Emergence of properties in complex biological and medical systems;
  • Tools for parallel, distributed, and multi-resolution simulation;
  • Detailed biological case-studies.


Important Dates

  • Submission deadline: 2 April 2012
  • Notification of authors: 16 May 2012
  • Workshop: 16 June 2012