posted by organizer: lpauleve || 2831 views || tracked by 5 users: [display]

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

FacebookTwitterLinkedInGoogle

Link: https://www.lri.fr/sasb2015/
 
When Sep 8, 2015 - Sep 8, 2015
Where Saint-Malo, France
Abstract Registration Due May 22, 2015
Submission Deadline May 29, 2015
Notification Due Jul 3, 2015
Categories    computer science   systems biology   static analsis   modelling
 

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 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.

Scope
-----

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.


Submissions
------------

Please visit the submission website at 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. 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.


Organizers
----------

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 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

Related Resources

PCDS 2024   The 1st International Symposium on Parallel Computing and Distributed Systems
ACM-Ei/Scopus-CCISS 2024   2024 International Conference on Computing, Information Science and System (CCISS 2024)
DSIT 2024   2024 7th International Conference on Data Science and Information Technology (DSIT 2024)
CTISC 2024   2024 6th International Conference on Advances in Computer Technology, Information Science and Communications (CTISC 2024) -EI Compendex
ICISS 2024   The 20th International Conference on Information Systems Security (ICISS-2024)
GreeNet Symposium - SGNC 2024   15th Symposium on Green Networking and Computing (SGNC 2024)
NLE Special Issue 2024   Natural Language Engineering- Special issue on NLP Approaches for Computational Analysis of Social Media Texts for Online Well-being and Social Order
CVIV 2024   2024 6th International Conference on Advances in Computer Vision, Image and Virtualization (CVIV 2024) -EI Compendex
ISSTA 2024   The ACM SIGSOFT International Symposium on Software Testing and Analysis (Round 2)
IEEE ICA 2022   The 6th IEEE International Conference on Agents