First Workshop on Static Analysis and Systems Biology (SASB 2010)

SAS workshop, 13 September 2010, Perpignan, France.

Venue: Palais des Congrès (Exhibition and Conference Center), Perpignan, France

Contact: sasb2010@easychair.org

Objectives

Many methods have been proposed to break down the inherent combinatorial complexity of biological models. 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.

Submissions

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:

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

There is preliminary approval to publish the workshop proceedings in ENTCS.

Important Dates

Submission Deadline	1st June 2010 (tentative)
Workshop Date	13th September 2010

Organizers

• Program Co-Chairs:

  Jérôme Feret	École Normale Supérieure & INRIA, France
  Andre Levchenko	Institute for Computational Medecine, Johns Hopkins University, USA

  
  
• Program Committee:

  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	Plectix BioSystems Inc., USA

  
  
• General Co-Chairs:

  Radhia Cousot	École Normale Supérieure & CNRS, France
  Matthieu Martel	Université de Perpignan Via Domitia, France

  
  
• Local Arrangement Chair:

  Matthieu Martel

  Université de Perpignan Via Domitia, France

Program

To be announced.

Sponsors