posted by organizer: pauleve || 1861 views || tracked by 7 users: [display]

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

FacebookTwitterLinkedInGoogle

Link: http://www.lri.fr/sasb2014/
 
When Sep 10, 2014 - Sep 10, 2014
Where Munich, Germany
Abstract Registration Due May 25, 2014
Submission Deadline Jun 1, 2014
Notification Due Jul 10, 2014
Final Version Due Aug 15, 2014
Categories    computer science   systems biology   static analysis   model analysis
 

Call For Papers

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.



SUBMISSION
----------

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

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:

Heinz Koeppl Technische Universität Darmstadt, Germany
Loic 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 Ecole Normale Superieure & 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

Related Resources

ECISM 2018   12th European Conference on Information Systems Management
IPMU 2018   17th Information Processing and Management of Uncertainty in Knowledge-Based Systems Conference
SSBSS 2018   5th International Synthetic & Systems Biology Summer School
ICS 2018   the 32nd ACM International Conference on Supercomputing
SASB 2017   The Eighth International Workshop on Static Analysis in Systems Biology
SIGI 2017   3rd International Conference on Signal and Image Processing
OSDI 2018   13th USENIX Symposium on Operating Systems Design and Implementation
ICMLC - Ei 2018   2018 10th International Conference on Machine Learning and Computing (ICMLC 2018)--ACM, Ei Compendex and Scopus
Social Information Systems @ HICSS-51   Social Information Systems Minitrack - Hawaii International Conference on System Sciences (HICSS-51)
ICCAI 2018--ACM, Ei, Scopus 2018   ACM--2018 International Conference on Computing and Artificial Intelligence (ICCAI 2018)--Ei Compendex and Scopus