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 -
(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:
- 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 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
- 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
- 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.