The First International 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

Postproceedings have been published in ENTCS, vol 272.

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

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.

Publilcation

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

Important Dates

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

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

Invited Speakers

	Andre Levchenko	Institute for Computational Medecine, Johns Hopkins University, USA
	Ovidiu Radulecu	Université de Montpellier 2, France
	Glynn Winskel	University of Cambridge, UK

Preliminary Program

8h30-9h00: Welcome

9h00-10h00: Invited Talk

Andre Levchenko. Limitations on the information processing by signaling pathways.

Coffee Break

10h30-11h05: Session 1

Loïc Paulevé, Morgan Magnin, and Olivier Roux. Abstract Interpretation of Dynamics of Biological Regulatory Networks.

11h05-12h05: Invited Talk

Glynn Winskel. On the foundations of rule-based biochemical systems

Lunch Break

14h00-15h10: Session 2

Peter Kreyssig, Peter Dittrich. Fragments and Chemical Organisations.
Heinz Koeppl, Tatjana Petrov. Stochastic Semantics of Signaling as a Composition of Agent-view Automata.