SASB 2014 - 5th International Workshop on Static Analysis and Systems Biology

The Fifth International Workshop on Static Analysis and Systems Biology (SASB 2014)
SAS workshop, 10 September 2014, Munich, Germany.
Contact: sasb2014-AT-easychair.org
Objectives
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 analyzes can 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.
Scope
The program of SASB 2014 will consist mainly of presentations of refereed papers and invited talks. Contributions are welcomed 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.
Submissions
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.
Publication
There is preliminary approval to publish the workshop proceedings in ENTCS.
Previous edition
The first edition held in Perpignan in September 2010. The post-proceedings are available at: http://www.sciencedirect.com/science/journal/15710...
The second edition held in Venice in September 2011. The post-proceedings are available at: http://www.sciencedirect.com/science/journal/15710...
The third edition held in Deauville in September 2012. The post-proceedings are in preparation.
The fourth edition held in Seattle in June 2013. The post-proceedings are in preparation.
Important Dates
Papers
Submission Deadline (abstract) 25th May 2014
Submission Deadline (paper) 1st June 2014
Notification 10th July 2014
Final version 15th August 2014
Workshop
Early registration 20th July 2014
Workshop Date 10th September 2014
Venue, Registration, and Accommodation
Please refer to the SAS website.
Organizers
Program Co-Chairs
Heinz Koeppl Technische Universität Darmstadt, Germany
Loïc Paulevé CNRS/LRI, Université Paris-Sud, France
Program Committee
Claudine Chaouyia IGC, Portugal
Gheorghe Craciun University of Wisconsin-Madison, USA
Damien Eveillard Université de Nantes, France
Jérome Feret École Normale Supérieure & Inria, France
Johnatan Hayman University of Cambridge, UK
Ina Koch Goethe University, Germany
Reinhard Laubenbacher University of Connecticut Health Center, USA
Wolfgang Marwan Otto-von-Guericke Universität Magdeburg, Germany
Andrew Phillips Microsoft Research Cambridge, UK
Adrien Richard CNRS/I3S, France
Julio Saez-Rodriguez EMBL-EBI, UK
David Safranek Masaryk University, Czech Republic
Thomas Sauter University of Luxembourg
Andrei Zinovyev Institut Curie, France