Topics of interest include, but are not limited to:

• formalisms for modelling biological processes

• models and their biological applications

• frameworks for model verification, validation, analysis and simulation of biological systems

• high-performance Computational Systems Biology and parallel implementations

• model inference from experimental data

• model integration from biological databases

• multi-scale modelling and analysis methods

• methods for synthetic biology and biomolecular computing