Welcome to the ISCB Community News Blog

This blog collects news, announcements or other information which could be of interest to our ISCB members. We are a group ISCB members who volunteer to populate this blog on a regular basis. In case you want to become an "ISCB-News Reporter" yourself, let us know: contact ISCB
Don't repost copyrighted content! The guidelines are:
- Include a link to the source page
- Include a short summary about the article. You can quote up to ONE paragraph from the original story, but not more
- Don't repost an entire articles originating from another source
- Never post content without attribution — always include the source

To post a news, please use this form.

Saturday, March 31, 2012

CS2Bio'12 Final Call for Papers & Extended Deadline

=================================================================

Final Call for Papers & Extended Deadline (April 12)
=================================================================

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/

=================================================================

*** IMPORTANT DATES ***

- Submission deadline (EXTENDED) : April 12, 2012
- Notification to authors: May 16, 2012
- Workshop: June 16, 2012

=================================================================

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.

*** DISSEMINATION***

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.


=================================================================


*** INVITED SPEAKERS ***

- Jane Hillston (Lab for Foundation of Computer Science -
Edinburgh, UK)
- Gianluigi Zavattaro (Department of Computer Science -
University of Bologna, IT)


*** PROGRAM COMMITTEE ***
- Luca Cardelli
- Gabriel Ciobanu
- Francesca Cordero
- Erik de Vink (Co-chair)
- Francois Fages
- Jerome Feret
- Jasmin Fisher
- Paola Giannini (Co-chair)
- Jane Hillston
- Jean Krivine
- Giancarlo Mauri
- Emanuela Merelli
- Paolo Milazzo
- Gethin Norman
- Ion Petre
- David Safranek
- Angelo Troina
- Adelinde Uhrmacher
- Verena Wolf

*** STEERING COMMITTEE ***

- Erik de Vink
- Paola Giannini
- Jean Krivine
- Angelo Troina



URL: http://cs2bio12.di.unipmn.it/

Contact Person: Paola Giannini (giannini@di.unipmn.it)

No comments:

Post a Comment