Formalisms for modeling biological processes.- Models and their biological applications.- Frameworks for model verication, 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.