Venue: Palais des Congrès (Exhibition and Conference Center), Perpignan, France
Contact: sasb2010@easychair.org
Postproceedings have been published in ENTCS, vol 272.
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 first SASB will be co-located with SAS 2010 in Perpignan, France.
Please visit the submission website.
The program of SASB 2010 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.
Submission Deadline (abstracts) | 6th June 2010 |
Submission Deadline (full papers) | 13th June 2010 |
Notification (tentative) | 1st August |
Final version (tentative) | 15th August |
Workshop Date | 13th September 2010 |
Jérôme Feret | École Normale Supérieure & INRIA, France |
Andre Levchenko | Institute for Computational Medecine, Johns Hopkins University, USA |
Arndt Benecke | Institut des Hautes Études Scientifiques, France |
Jehoshua Bruck | California Institute of Technology, USA |
Luca Cardelli | Microsoft Research, Cambridge, UK |
Eric Deeds | Harvard Medical School, USA |
Thomas Henzinger | Institute of Science and Technology, Austria |
William Hlavacek | Los Alamos National Laboratory, USA |
Heinz Koeppl | École Polytechnique Fédérale de Lausanne, Switzerland |
Marta Kwiatkowska | Oxford University, UK |
Gordon Plotkin | University of Edinburgh, UK |
Ty Thomson | Genstruct Inc., USA |
Radhia Cousot | École Normale Supérieure & CNRS, France |
Matthieu Martel | Université de Perpignan Via Domitia, France |
Matthieu Martel | Université de Perpignan Via Domitia, France |
Andre Levchenko | Institute for Computational Medecine, Johns Hopkins University, USA | |
Ovidiu Radulecu | Université de Montpellier 2, France | |
Glynn Winskel | University of Cambridge, UK |
8h30-9h00: Welcome
9h00-10h00: Invited Talk
10h30-11h05: Session 1
11h05-12h05: Invited Talk
14h00-15h10: Session 2
15h45-16h45: Invited Talk