Personal tools
You are here: Home
Document Actions

The 6th Conference on Computational Methods in Systems Biology (CMSB)

The CMSB conference brings together modellers (computer scientists, mathematicians and physicists) and biologists interested in a systems-level understanding of cellular processes.

- The 6th CMSB Conference in Rostock, 12th - 15th October 2008 -

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'08 solicits original research articles, tutorials, PhD presentations, 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 this question. They may also cover models of computation inspired by biological processes. Particularly relevant case studies and open issues from the biological side that demands modelling of systems, model analysis, and simulation are of interest as well.

Topics of interest (biological systems and networks: inference, properties, modeling, dynamics, simulation and reverse engineering) include, among others:

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

Simulation/Analysis, e.g.
  • 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, e.g.
  • Modelling, 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, e.g.
  • Detailed case-studies on how a biological question was successfully addressed using formal models
  • 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, subseries of Lecture Notes in Computer Science.

There will be a follow-up volume in LNCS journal TCSB with extended versions of the best papers.