Contact: sasb2013@easychair.org
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.
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:
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.
All submitted posters will be peer-reviewed by the program committee.
Poster format is free with the stipulation that the size should not exceed A0 size (32.7 by 45.4 inches or 80 by 115.4 cm) in portrait (vertical) set-up. Moreover, the text must be written in English. A PDF version of the poster is required at the submission.
A short abstract (around 800 characters) is required with the submission.
Submission Deadline (extended) | 30th April 2013 |
Notification (tentative) | 30th May 2013 |
Final version (tentative) | 15th June 2013 |
Submission Deadline (extended) | 30th April 2013 |
Notification (tentative) | 30th May 2013 |
Workshop Date | 19th June 2013 |
Jérôme Feret | École Normale Supérieure & INRIA Paris-Rocquencourt, France |
Andre Levchenko | Institute for Computational Medecine, Johns Hopkins University, USA |
Franck Delaplace | Université d'Évry, France |
Luca Grieco | Institut Curie, Paris, France |
Russ Harmer | CNRS & Université Paris-Diderot, France |
Jonathan Hayman | Cambridge University, UK |
Bill Hlavacek | Los Alamos National Laboratory, USA |
Mathias John | Université de Lille 1, France |
Ina Koch | Goethe-University, Frankfurt, Germany |
Gethin Norman | University of Glasgow, Scotland |
Loïc Paulevé | ETH Zürich, Switzerland |
Sylvain Soliman | INRIA Paris-Rocquencourt, France |
Paolo Zuliani | Newcastle University, UK |
Francesco Logozzo | Microsoft Research, Redmond, USA |
Manuel Fahndrich | Microsoft Research, Redmond, USA |
Radhia Cousot | École Normale Supérieure & CNRS, France |
Jérôme Feret | École Normale Supérieure & INRIA Paris-Rocquencourt, France |
Walter Fontana | Harvard Medical School, USA |
Andre Levchenko | Institute for Computational Medicine, Johns Hopkins University, USA |
Steve Andrews | Fred Hutchinson Cancer Research Center, Seattle, USA |
Eric Deeds | University of Kansas, Lawrence, USA |
Eric Goubault | Commissariat à l'énergie atomique, Saclay, France |
8:30-9:00: Welcome
9:00-10:00: First invited talk
10:30-11:30: Contributed talks
11:30-12:00: Second invited talk