Call for papers CS2Bio'12 3rd International Workshop on Interactions between Computer Science and Biology Affiliated to DisCoTec'12 16th of June 2012 Stockholm, Sweden http://cs2bio12.di.unipmn.it/
The aim of this workshop is to gather researchers in formal methods that are interested in the convergence of Computer Science, Biology and life sciences. In particular, we solicit contribution of original results that address both theoretical aspects of modeling and applied work on the comprehension of biological behavior. We encourage presentations of interdisciplinary work conducted by teams composed of both life and computer scientists.
Papers selected for presentation at CS2Bio should either present the modeling a specific biological phenomenon using formal techniques, or a modeling, simulation, testing or verification 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, verification, tools, and programming primitives concerning the complex interactions encountered.
* SCOPE *
In general, topics of interest include, but are not limited to:
Formal Biological Modeling: -- 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 modeling 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 behavior from incomplete information; -- Model checking, abstract interpretation, type systems, etc.
Tools and Simulation -- Modeling, 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.
Proceedings of the workshop will be published in ENTCS. Quality permitting, a special issue of a Computer Science journal is planned.
* SUBMISSION GUIDELINES *
Papers must report previously unpublished work and not be submitted concurrently to another conference with refereed proceedings. Authors should submit their papers via EasyChair (http://www.easychair.org/conferences/?conf=cs2bio12). Papers should take the form of a pdf file in ENTCS style and should not exceed 12 pages. If necessary, detailed proofs or other additional material can be added in an appendix (referees might review it at their discretion). We also encourage the submission of short papers, limited to 7 pages, presenting new tools or platforms for the modelling of biological systems.
* IMPORTANT DATES *
* STEERING COMMITTEE *
* PROGRAM COMMITTEE *
Other names to be confirmed.