1st International Workshop on Interactions between Computer Science and Biology (CS2Bio'10)

Scope The scope is to include theoretical and applied aspects of concurrent and distributed systems in the modelling, analysis, simulation and validation of biological properties. The workshop intends to attract researchers interested in models, verification, tools, and programming primitives concerning such complex interactions. We strongly encourage the submission of works carried on in collaboration between computer scientists and biologists. Topics of interest include, but shall not be limited to: Formal Biological Modelling: * Formal methods for the representation of biological systems (rewrite systems, process calculi, 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. 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 systems; * Tools for parallel, distributed, and multi-resolution simulation methods; * Detailed biological case-studies.