The Sixth International Workshop on Static Analysis and Systems Biology (SASB 2015)

SAS workshop, 8 September 2015, Saint-Malo, France.
Palais des congrès Le Grand Large
1, quai Duguay-Trouin
35400 Saint-Malo



SASB aims at promoting discussions and collaborations between biologists (modelers), computer scientists and applied-mathematicians interested in designing or using methods to reduce the complexity of modeling, simulating or analyzing biological systems.

Static analysis refers to a wide range of techniques for characterizing and identifying important features from a model without its exhaustive execution. Static analysis is used for helping the design of models, the test of models against experimental data, and the prediction of behaviors. Static analysis may involve, for instance, modeling paradigms, such as rule-based modeling, that ease the characterization of the behaviors of a model; abstractions that prevent a full exploration of the potential concrete behaviors; algebraic representations and transformations that ease the computation of various properties; model reductions, that decrease the dimension of a model while preserving important behaviors; characterization of dynamical properties with respect to the topology of the model; etc.


The program of SASB 2015 will consist mainly of presentations of refereed papers and invited talks. Contributions are welcome on all aspects about the use of static analysis methods in Systems Biology, including, but not limited to:

  • static analysis frameworks,
  • model reduction,
  • model decomposition,
  • algebraic representations,
  • state space compaction,
  • abstractions of dynamics,
  • link between topology and dynamics,
  • languages for compact description of biological models,
  • modeling or data integration experiences using static analysis,
  • informal methods (that could be candidate to formalization),
  • challenges for tackling complexity of biological models.

Invited Speakers

  • Vincent Danos, CNRS, Department of Computer Science, École Normale Supérieure, Paris, France.
  • David A. Rosenblueth, Departamento de Ciencias de la Computación, Universidad Nacional Autónoma de México.
  • Antonio del Sol, Luxembourg Centre for Systems Biomedicine, University of Luxembourg.

Venue and Registration

In 2015, the workshop will take place in Saint-Malo, in North-West of France (Brittany):


Please visit the submission website.

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.


The post-proceedings are available at:

Previous edition

Important Dates


Submission Deadline (abstract) 22th May 2015 29th May 2015
Submission Deadline (paper) 29th May 2015 5th June 2015
Notification 3rd July 2015


Workshop Date 8th September 2015


9:00-9:30: Welcome

9:30-10:30: Invited talk

  • David A. Rosenblueth. Making Boolean networks behave (Model update via computation-tree logic)

Coffee Break

11:00-12:00: Contributed talks

  • Tadeáš Děd, David Šafránek, Matej Troják, Matej Klement, Jakub Šalagovič and Lubos Brim. Formal Biochemical Space with Semantics in Kappa and BNGL
  • Diana-Elena Gratie and Cristian Gratie. Composition colored Petri nets for the refinement of reaction-based models

Lunch break

14:00-15:00: Invited talk

  • Antonio del Sol. Systems Biology approaches to Cellular (Re)programming and cellular disease models

15:00-15:30: Contributed talk

  • Masahiro Hamano. Stochastic Transcription Elongation Via Rule Based Modelling

Coffee break

16:00-17:00: Invited talk

  • Vincent Danos. "Models of growth" and the challenge of modelling processes which are embedded in a bigger adaptive system (related paper)

17:00-17:30: Contributed talk

  • Aurore Alcolei, Kevin Perrot and Sylvain Sené. On the flora of asynchronous locally non-monotonic Boolean automata networks

17:30: Concluding remarks


Program Co-Chairs

Loïc Paulevé CNRS/LRI, Université Paris-Sud, France
Nathalie Théret INSERM, Rennes, France

Program Committee

Reka Albert Pennsylvania State University, USA
Jérome Feret École Normale Supérieure & Inria, France
Giuditta Franco University of Verona, Italy
Johnatan Hayman University of Cambridge, UK
Thomas HinzeFriedrich Schiller University Jena, Germany
Cédric LhoussaineUniversité de Lille, France
Gethin NormanUniversity of Glasgow, UK
Tatjana PetrovIST Austria
David Safranek Masaryk University, Czech Republic
Thomas Sauter University of Luxembourg
Sylvain SenéAix-Marseille Université, France
Andrei Zinovyev Institut Curie, France
Paolo ZulianiNewcastle University, UK