CS2Bio'12

3rd International Workshop on Interactions between Computer Science and Biology

16th of June 2012- Stockholm, Sweden

Affiliated to DisCoTec'12.

Previous editions: cs2bio10, CS2Bio11

Workshop's Programme

Stockholm
© bugbog.com

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 the 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.


Scope

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.

In general, topics of interest include, but are not limited to:

Formal Biological Modelling:

Formal Testing and Validation of Biological Properties:

Tools and Simulations:


Invited Speakers




Dissemination

The proceedings of the workshop will be published in a volume of the Electronic Notes on Theoretical Computer Science series (Elsevier ENTCS). The quality of the received papers permitting, publication in a special issue of a journal is planned.


Important Dates


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. Papers should not exceed 12 pages and should take the form of a pdf file compiled using the ENTCS style for the workshop proceedings. If necessary, detailed proofs or other additional material can be added in an appendix (referees may consult this 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.


Registration

Participants are requested to register for the workshop through the DisCoTec's registration page.


Program Committee


Steering Committee


Sponsors

Dipartimento InformaticaUPO

Valid HTML 4.01 Transitional

Last update:26 May 2012