SASB, Saint-Malo, 8th September 2015 - Call for Papers

Call for Papers
------------------------------------------------------------------
SASB 2015

6th International Workshop on Static Analysis and Systems Biology
------------------------------------------------------------------

8th September, 2015,
Saint-Malo, France
Satellite Workshop of SAS 2015

http://www.lri.fr/sasb2015/


IMPORTANT DATES
---------------
Submission Deadline (abstract) 22th May, 2015
Submission Deadline (paper) 29th May, 2015
Notification 3rd July, 2015
Workshop Date 8th September, 2015


SCOPE
-----

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.

The program of SASB 2015 will consist mainly of presentations of refereed
papers and invited talks. Contributions are welcome on all aspects 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.



SUBMISSION
----------

Please visit the submission website:
https://www.easychair.org/conferences/?conf=sasb2015

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 (http://www.entcs.org/prelim.html).
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
-----------

The proceedings of the workshop will be published electronically via ENTCS.


ORGANIZERS
----------

* Program Co-Chairs:

Loic Paulevé CNRS, Université Paris-Sud, France
Nathalie Théret INSERM Rennes, France

* Program Committee:

Reka Albert Pennsylvania State University, USA
Jérome Feret Inria, Ecole Normale Supérieure, France
Giuditta Franco University of Verona, Italy
Johnatan Hayman University of Cambridge, UK
Thomas Hinze Friedrich Schiller University Jena, Germany
Cedric 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