[BiO BB] Computational Methods in Systems Biology (CMSB'09) -- call for papers

[Roberto Gorrieri]

***********************************************************************
**  CMSB 2009                                                        **
**  The 7th Conference on Computational Methods in Systems Biology   **
**  Bologna, Italy, August 31st - September 1st, 2009                **
**  http://cmsb09.cs.unibo.it/                                       **
***********************************************************************


Call for papers

The CMSB (Computational Methods in Systems Biology) conference series
was established in 2003 to help catalyze the convergence of modellers,
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 modelling of systems are of
significant interest.

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

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

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

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

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


Submission

The CMSB 2009 conference solicits high quality papers reporting
research results and/or experience reports related to the topics
mentioned above. All papers must be original, unpublished, and not
submitted for publication elsewhere. Contributions should be submitted
electronically as PDF via Easychair at

 * http://www.easychair.org/conferences/?conf=cmsb09

using the Springer LNCS style. Papers should not exceed 15 pages in
length. If necessary, the paper may be supplemented with a clearly
marked appendix, which will be reviewed at the discretion of 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 paper acceptance
   June, 15:                         Revised version of papers
   August 31 – September 1:           Conference

Invited speakers
    * Rita Casadio, Università di Bologna, Italy
    * John K. Heath, University of Birmingham, UK
    * Corrado Priami, The Microsoft Research - University of Trento
      Centre for Computational and Systems Biology (Italy)

Steering Committee
    * Finn Drabløs, Norwegian University of Science and Technology,
      Trondheim (Norway)
    * François Fages, INRIA Rocquencourt, France
    * David Harel, Weizmann Institute of Science, Israel
    * Monika Heiner, TU Cottbus (Germany)
    * Michael Hörnquist , Linköping University, Sweden
    * Satoru Miyano, University of Tokyo, Japan
    * Gordon Plotkin, University of Edinburgh, UK
    * Corrado Priami, The Microsoft Research - University of Trento
      Centre for Computational and Systems Biology (Italy)
    * Adelinde M. Uhrmacher, University of Rostock, Germany

Program Committee
    * Pierpaolo Degano, Università di Pisa, Italy (co-chair)
    * Finn Drabløs, Norwegian University of Science and Technology,
      Trondheim, 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

Organizing Committee
    * Cinzia Di Giusto, Università di Bologna, Italy
    * Roberto Gorrieri, Università di Bologna, Italy
    * Cristian Versari, Università di Bologna, Italy (chair)
    * Antonio Vitale, Università di Bologna, Italy
    * Gianluigi Zavattaro, Università di Bologna, Italy