CS2Bio 2014 - 5th International Workshop on Interactions between Computer Science and Biology

The aim of this workshop is to gather researchers in formal methods that are interested in the convergence of Computer Science, Biology and the Life Sciences. In particular, in this 5th edition, we solicit the contribution of original results, from any research areas, such as Mathematics, Physics, Complex Systems, and Computational Science that address both theoretical aspects of modelling and applied work on the comprehension of biological behaviour. Furthermore, to facilitate the integration of different research areas we encourage the presentation of main objectives and preliminary results of active projects on the CS2Bio topics conducted by interdisciplinary teams.
Papers selected for presentation at CS2Bio should either present the modelling of a speci?c biological phenomenon using formal techniques, or a modelling, simulation, testing or veri?cation approach in computer science that leads to a novel and promising application to a range of biological or medical systems. In the latter case, some emphasis on the scope and scalability of the approach will be required. The workshop intends to attract researchers interested in models, veri?cation, tools, and programming
primitives concerning the complex interactions encountered. In general, topics of interest include, but are not limited to:
Formal Biological Modelling
 Formal methods for the representation of biological systems and their dynamics;
 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.
 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;
 Computational topology and biomathematics;
 Information processing and biomedicine;
 Statistical mechanics and biophysics.
 Complex Networks and biomolecular dynamics
Tools and Simulation
 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 methods;
 Detailed biological case-studies.
Solicited Contributions:
We solicit three kinds of contributions:
 Regular papers: must report previously unpublished work and not be submitted concurrently to another conference with refereed proceedings (limited to 14 pages).
 Tool presentations: describing new tools or platforms for the modelling of biological systems (limited to 7 pages).
 Dissemination of project results: concern recent or ongoing work on topics relevant to CS2Bio and are intended to provide discussion and stimulate feedback during the workshop. The focus of a dissemination should be put on the main objectives and preliminary results of active projects on topics relevant to the workshop. There are no restrictions about previous or future publication of the contents of a dissemination, it could also be based on a recently published paper or on a work which has not yet been submitted (limited to 4 pages).
Selection Procedure:
Each submitted contribution will have at least three anonymous reviewers. The ?nal decision about the received papers will be taken by the PC chairs based on the opinion of the reviewers. Controversial papers will be debated within the PC. Authors should submit their contributions via EasyChair (https://www.easychair.org/conferences/?conf=cs2bio) in the form of a pdf file compiled using the ENTCS style for the workshop proceedings (http://www.entcs.org/files/cs2bio/prentcsmacro.sty). If necessary, detailed proofs or other additional material can be added in an appendix (referees might review it at their discretion).