Modeling 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 modeling and analysis methods.- Computational approaches for synthetic biology.