The conference covers all aspects of applications symbolic computation methods in biology, e.g.
- mathematical modeling
- model identification
- system analysis and design
- system verification
- system synthesis
- etc.
in
- molecular sequence analysis
- molecular structure analysis
- molecular evolution
- genomics
- proteomics
- gene regulation
- gene expression
- gene ontology
- network inference
- etc.
using
- polynomial methods
- group theory
- rewriting
- automated reasoning
- automata theory
- formal language
- combinatorics
- graph theory
- artificial intelligence
- hybrid symbolic-numerical methods
- differential algebra
- local analysis
- etc.
in various computing paradigms like
- sequential
- parallel
- distributed
- grid computing
- cellular
- genetic
- etc.
