Second International Workshop on Static Analysis and Systems Biology, Venice, Italy
13 September 2011 - 13 September 2011
Italy
The Second International Workshop on Static Analysis and Systems Biology will take place on 13 September 2011 in Venice, Italy.
Many biological models have a high combinatorial complexity. A variety of methods have been proposed to deal with the situation. Some are informal and are validated experimentally. By contrast, static analysis-based scalable formal methods are able to provide formal characterisation 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 behaviour of the system being modelled.
The goal of this workshop will be to promote discussion and collaboration between biologists (modellers), computer scientists (in static analysis) and applied-mathematicians around the design and the use of static analysis methods for biological models. Event topics are set to include:
- bottle-neck challenges for static analysis of biological models;
- new static analysis frameworks;
- modeling experiences using static analysis;
- informal methods (that could be candidate to formalisation and automatisation).For further information, please visit: http://www.di.ens.fr/sasb2011/(opens in new window)
Many biological models have a high combinatorial complexity. A variety of methods have been proposed to deal with the situation. Some are informal and are validated experimentally. By contrast, static analysis-based scalable formal methods are able to provide formal characterisation 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 behaviour of the system being modelled.
The goal of this workshop will be to promote discussion and collaboration between biologists (modellers), computer scientists (in static analysis) and applied-mathematicians around the design and the use of static analysis methods for biological models. Event topics are set to include:
- bottle-neck challenges for static analysis of biological models;
- new static analysis frameworks;
- modeling experiences using static analysis;
- informal methods (that could be candidate to formalisation and automatisation).For further information, please visit: http://www.di.ens.fr/sasb2011/(opens in new window)