The Second International Workshop on Static Analysis and Systems Biology (SASB 2011)
SAS workshop, 13 September 2011, Venice, Italy.Contact: sasb2011@easychair.org
main seat of Ca'Foscari University of Venice
Dorsoduro 3246
Postproceedings have been published in ENTCS:
Objectives
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 second SASB will be co-located with SAS 2011 in Venice, Italy.
Submissions
Please visit the submission website.
The program of SASB 2011 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,
- informal methods (that could be candidate to formalization and automatization).
All submitted papers will be peer-reviewed by the program committee.
Submitted papers should not exceed 12 pages including bibliography, and follow the ENTCS guidelines. Submitted papers may include, in addition, an appendix containing technical details, which reviewers may read or not, at their discretion.
Papers must be written and presented in English, and describe original work that does not substantially overlap with papers that have been published or that are simultaneously submitted to a journal, conference, or workshop with refereed proceedings.
Publication
There is preliminary approval to publish the workshop proceedings in ENTCS.Important Dates
| Submission Deadline (full papers) | 26th June 2011 |
| Notification (tentative) | 2nd August 2011 |
| Final version (tentative) | 1st September 2011 |
| Workshop Date | 13th September 2011 |
Invited Speakers
| Boris Kholodenko | Systems Biology Ireland, University College Dublin, Betfield, Dublin, Ireland | |
| Edda Klipp | Humboldt-Universität, Berlin, Germany | |
| Jean Krivine | Université Paris VII & CNRS, France |
Organizers
- Program Co-Chairs:
Jérôme Feret École Normale Supérieure & INRIA, France Andre Levchenko Institute for Computational Medicine, Johns Hopkins University, USA
- Program Committee:
Marc Alber University of Notre Dame, USA Isha Antani Genzyme, Boston, USA Luca Cardelli Microsoft Research, Cambridge, England François Fages INRIA, France Walter Fontana Harvard Medical School, USA Thomas Henzinger Institute of Science and Technology, Austria William Hlavacek Los Alamos National Laboratory, USA Neil D. Jones University of Copenhagen, Denmark Edda Klipp Humboldt-Universität, Berlin, Germany Heinz Koeppl ETH Zurich, Switzerland Gethin Norman University of Glasgow, Scottland Ovidiu Radulescu University of Montpellier 2, France Denis Thieffry École Normale Supérieure, France Glynn Winskel University of Cambridge, England
- Local Arrangement Chair:
Gilberto Filé University of Padova, Italy
- Steering Committee:
Radhia Cousot École Normale Supérieure & CNRS, France Jérôme Feret École Normale Supérieure & INRIA, France Walter Fontana Harvard Medical School, USA Andre Levchenko Institute for Computational Medicine, Johns Hopkins University, USA
Sponsors
Post proceedings
The Post-proceedings of the workshop are available on line.Previous workshops
- SASB'10, Perpignan, France, 13 September 2010 (Post-proceedings).