SASB 2013 - The Fourth International Workshop on Static Analysis and Systems Biology (SASB 2013)

A lot of biological models suffer from a high combinatorial complexity. Many methods have been proposed to break down this combinatorial complexity. Some of these methods are informal and are validated experimentally. By contrast, static analysis-based scalable formal methods increase the level of confidence by providing formal characterization of what is computed. Being automatic, easily reusable, and offering formal soundness criteria, static analyses can help designing models, testing models with respect to experimental data, and predicting the behavior of the system being modeled.
The goal of this workshop is to promote discussions and collaborations between biologists (modelers), computer scientists (in static analysis) and applied-mathematicians around the design and the use of static analysis methods for biological models.
The Fourth SASB will be co-located with PLDI 2013 and SAS 2013 in Seattle, WA, USA.
Submissions
Please visit the submission website.
The program of SASB 2013 will consist mainly of presentations of refereed papers. Contributions are welcomed on all aspects about the use of static analysis methods in Systems Biology, including, but not limited to:
bottle-neck challenges for static analysis of biological models,
new static analysis frameworks,
modeling experiences using static analysis,