****************************************************
International Conference on
COMPUTATIONAL METHODS IN SYSTEMS BIOLOGY
(CMSB 2009)
****************************************************
(first call for papers)
August 31 -- September 1, 2009
Bologna, Italy
http://cmsb09.cs.unibo.it/
*****************************************************

The CMSB (Computational Methods in Systems Biology) conference series
was established in 2003 to help catalyze the convergence of modelers,
physicists, mathematicians, and theoretical computer scientists (from
fields such as language design, concurrency theory, program
verification) with molecular biologists, physicians and neuroscientists
interested in a systems-level understanding of cellular physiology and
pathology.

CMSB 2009 solicits original research articles, surveys of current
research and posters. These may cover theoretical or applied
contributions that are motivated by a biological question and can
demonstrate actual or potential usefulness towards answering that
question. Additionally, they may cover models of computation inspired
by biological processes; of which the motivation may be either
computational or biological. In particular, relevant case studies and
open biological questions that demand modeling of systems are of
significant interest.

Topics of interest (biological systems and networks: inference,
properties, modeling, dynamics, simulation and reverse engineering)
include, but are not limited to:

Modeling:
--------
* Re-engineering and synthesis of biological systems and networks
* Definition and study of theoretical properties of
biologically-inspired formal languages
* Qualitative and quantitative languages and calculi
* Theoretical comparisons between different formal models of
cellular processes
* Models including symbolic evolution and learning
* Spatial, multi-level, and multi-formalism modeling

Simulation/Analysis:
-------------------
* Simulation and analysis methods for computational biology
* Biologically-inspired extensions to concurrency theory,
constraint programming, logical methods or language equivalences
* Emergence of properties in complex biological systems
* Parallel, distributed, and multi-resolution simulation methods
* Methods to predict biological network behavior from incomplete
information

Tools/Frameworks/Libraries:
--------------------------
* Modeling, analysis and simulation tools
* Differential, discrete and/or stochastic modeling-language
frameworks
* Visualization methods for computational biology
* Biological databases and exchange formats for biological data
and standards

Applications:
------------
* Detailed biological case-studies on which formal models
successfully apply
* Computer models in nano-sciences applied to biological domains
* Model-driven analysis of biological systems


All submissions will be reviewed by the program committee.

The proceedings of the conference will be published with Springer
under the series named Lecture Notes in Bioinformatics, sub-series of
Lecture Notes in Computer Science.

The best papers presented at the Conference will be selected for a
special issue of a Journal.

Important Dates
---------------
March, 16: Submission of abstracts
March, 23: Submission of full papers
May, 18: Notification of acceptance/rejection
June, 15: Revised version of accepted papers due
August 31 -- September 1: Conference


PROGRAM COMMITTEE (provisional)
-----------------
Pierpaolo Degano, Università di Pisa, Italy (co-chair)
Finn Drablos, Norwegian University of Science and Technology, Norway
François Fages, INRIA Rocquencourt, France
Stephen Gilmore, University of Edinburgh, UK
Roberto Gorrieri, Università di Bologna, Italy (co-chair)
Monika Heiner, TU Cottbus, Germany
Adaoha Elizabeth C. Ihekwaba, CoSBI, Italy
Marta Kwiatkowska, University of Oxford, UK
Pietro Liò, Computing Lab Cambridge, UK
Satoru Miyano, University of Tokyo, Japan
Mark van Rossum, University of Edinburgh, UK
Grzegorz Rozenberg, Leiden University, Leiden, NL
Carolyn Talcott, Stanford Research Institute, USA
Adelinde M. Uhrmacher, University of Rostock, Germany