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:
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.
|Submission Deadline (abstract)||
|Submission Deadline (paper)||
|Notification||3rd July 2015|
|Workshop Date||8th September 2015|
9:30-10:30: Invited talk
11:00-12:00: Contributed talks
14:00-15:00: Invited talk
15:00-15:30: Contributed talk
16:00-17:00: Invited talk
17:00-17:30: Contributed talk
17:30: Concluding remarks
|Loïc Paulevé||CNRS/LRI, Université Paris-Sud, France|
|Nathalie Théret||INSERM, Rennes, France|
|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 Hinze||Friedrich Schiller University Jena, Germany|
|Cédric Lhoussaine||Université de Lille, France|
|Gethin Norman||University of Glasgow, UK|
|Tatjana Petrov||IST Austria|
|David Safranek||Masaryk University, Czech Republic|
|Thomas Sauter||University of Luxembourg|
|Sylvain Sené||Aix-Marseille Université, France|
|Andrei Zinovyev||Institut Curie, France|
|Paolo Zuliani||Newcastle University, UK|