Topics of interest include, but are not limited to:

• formalisms for modelling biological processes
• methods and tools for biological system analysis, modelling and simulation
• frameworks for model verification, validation, analysis, and simulation of biological systems
• high-performance methods for computational systems biology
• identification of biological systems
• applications of machine learning
• network modelling, analysis, inference
• automated parameter and model synthesis
• model integration and biological databases
• multi-scale modelling and analysis methods
• design, analysis, and verification methods for synthetic biology
• methods for biomolecular computing and engineered molecular devices
• data-based approaches for systems and synthetic biology
• optimality and control of biological systems
• modelling, analysis and control of microbial communities