[BiO BB] [cmsb-2007] Call for papers CMSB07

Stephen Gilmore stg at inf.ed.ac.uk
Thu Dec 21 08:51:06 EST 2006

International Conference on

20th and 21st September 2007

Edinburgh, Scotland



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, and molecular biologists, physicians, neuroscientists
interested in a systems-level understanding of cellular physiology and

CMSB'07 solicits original research articles (including significant
works-in-progress), surveys of current research and posters. These may
cover theoretical or applied contributions that are motivated by a
biological question and can demonstrate either actual or potential
usefulness towards answering that question. They may also cover models
of computation inspired by biological processes; the motivation may be
as much computational as biological. Particularly relevant case
studies and open issues from the biological side that demands modeling
of systems are of interest as well.  The introduction of formal models
should be supported by theoretical arguments about the model and/or on
the analyses that they enable, by comparisons with other network
models, and/or by examples of representation and analysis of a
biological system.

Topics of interest include, among others:

1.  Biological systems and networks: inference, properties, modeling,
    dynamics, simulation and reverse engineering
2.  Formal methods for drug discovery and design
3.  Methods to predict biological network behavior from incomplete
4.  Models including symbolic evolution and learning
5.  Models of self-assembly
6.  Detailed case-studies on how a biological question was successfully
    addressed using formal models
7.  Emergence of properties in complex biological systems
8.  Theoretical comparisons between different formal models of cellular
9.  Differential, discrete and/or stochastic modeling-language frameworks
10. Quantitative formal languages
11. Biologically-inspired extensions to concurrency theory, constraint
    programming, logical methods or language equivalences
12. Computer models in nano-sciences applied to biological domains
13. Definition and study of theoretical properties of
    biologically-inspired formal languages
14. Biological data bases and exchange formats for biological data and



2006 held in Trento, chaired by Corrado Priami
2005 held in Edinburgh, chaired by Gordon Plotkin.
2004 held in Paris, co-chaired by Vincent Danos and Vincent Schachter
2003 held in Trento, chaired by Corrado Priami

Paper and poster submission guidelines

Authors are invited to submit original research papers or survey
papers of no more than 15 pages in PDF format using the LNCS
templates, available at the url below


We also accept poster proposals in the form of a text-only abstract
describing the poster contents.

Papers and posters descriptions should be sent by e-mail to

cmsb07-papers at inf.ed.ac.uk

The subject line should be CMSB Paper: (Title of Paper).

The body of the e-mail should contain the title, authors and
affiliations, an abstract, and the themes to which the paper/poster
refers according to the topics of interest list. If no theme is
listed, please insert some keywords.

All submissions will be reviewed by the program committee. Accepted
papers will be included in the proceedings available at the
conference. Publication as an LNBI volume by Springer is under


Important Dates (deadlines are strict):

Submission of papers:                    May, 7

Notification of paper acceptance:        June, 4

Revised version of papers due:           July, 2

Submission of posters:                   July, 10

Notification of poster acceptance:       July, 30



The conference will be held in Edinburgh (Scotland) at the e-Science
Institute.  The dates are 20th and 21st September 2007.

Steering Committee

    * Finn Drabløs, Norwegian University of Science and Technology,
        Trondheim (Norway)
    * Monika Heiner, TU Cottbus (Germany)
    * Patrick Lincoln, Stanford Research International (US)
    * 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)
    * Magali Roux-Rouquié, CNRS-UPMC (France)
    * Vincent Schachter, Genoscope, Evry (France)
    * Adelinde Uhrmacher, University of Rostock (Germany)


Program Committee

    * Alexander Bockmayr, Freie Universität Berlin (Germany)
    * Muffy Calder (co-chair), University of Glasgow (UK)
    * Luca Cardelli, Microsoft Research Cambridge (UK)
    * Vincent Danos, CNRS, Université Denis Diderot (France)
    * Pierpaolo Degano, Universitá di Pisa (Italy)
    * Finn Drabløs, Norwegian University of Science and Technology,
        Trondheim (Norway)
    * François Fages, INRIA Rocquencourt (France)
    * Anthony Finkelstein, University College London (UK)
    * Stephen Gilmore (co-chair), University of Edinburgh (UK)
    * David Harel, Weizmann Institute (Israel)
    * Monika Heiner, TU Cottbus (Germany)
    * Walter Kolch, Beatson Institute for Cancer Research (UK)
    * Ina Koch, Technische Fachhochschule Berlin (Germany)
    * Gethin Norman, University of Birmingham (UK)
    * Corrado Priami, The Microsoft Research -- University of Trento
        Centre for Computational and Systems Biology (Italy)
    * Stephen Ramsey, Institute for Systems Biology, Seattle (USA)
    * Adelinde Uhrmacher, University of Rostock (Germany)

Organising committee

    * Muffy Calder, University of Glasgow (UK)
    * Stephen Gilmore, University of Edinburgh (UK)

(Apologies if you receive multiple copies of this message)

cmsb-2007 mailing list
cmsb-2007 at inf.ed.ac.uk

More information about the BBB mailing list