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

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 modelling 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:

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