Call for Papers

                    SASB 2010        

1st International Workshop on Static Analysis and Systems Biology

13th September, 2010, Palais des Congres (Exhibition and Conference Center), Perpignan, France. Satellite Workshop of SAS 2010

http://www.di.ens.fr/sasb2010

IMPORTANT DATES

Submission Deadline 1st June, 2010 Notification 1st July, 2010 Final version 1st August, 2010 Workshop Date 13th September, 2010

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 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.

SCOPE

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:

• challenges and scientific bottlenecks 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).

SUBMISSION

Please visit the submission website: https://www.easychair.org/login.cgi?conf=sasb2010 The website is powered by EasyChair, thanks to Andrei Voronkov.

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 (http://www.entcs.org/prelim.html). 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

We have a preliminary approval to publish the workshop proceedings electronically via ENTCS.

INVITED SPEAKERS

Andre Levchenko Institute for Computational Medecine, Johns Hopkins University, USA Second speaker To be announced

ORGANIZERS

• Program Co-Chairs:

  Jerome Feret Ecole Normale Superieure & INRIA, France Andre Levchenko Institute for Computational Medecine, Johns Hopkins University, USA

  • Program Committee:

  Arndt Benecke Institut des Hautes Etudes 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 Ecole Polytechnique Federale de Lausanne, Switzerland Marta Kwiatkowska Oxford University, UK Gordon Plotkin University of Edinburgh, UK Ty Thomson Plectix BioSystems Inc., USA

  • General Co-Chairs:

  Radhia Cousot Ecole Normale Superieure & CNRS, France Matthieu Martel Universite de Perpignan Via Domitia, France

  • Local Arrangement Chair:

  Matthieu Martel Universite de Perpignan Via Domitia, France