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.
| Submissions: | June 1, 2010 |
| Notification: | July 1, 2010 |
| Event: | September 13, 2010-September 13, 2010 |