SASB 2018: The Ninth International Workshop on Static Analysis in Systems Biology 2018 Freiburg im Breisgau Freiburg, Germany, August 28, 2018 |
Conference website | https://www.mcss.uni-konstanz.de/sasb-2018/ |
Submission link | https://easychair.org/conferences/?conf=sasb2018 |
Abstract registration deadline | July 15, 2018 |
Submission deadline | July 22, 2018 |
SASB 2018
The Ninth Workshop on Static Analysis for Systems Biology
August 28, 2018
Freiburg im Breisgau, Germany
Objective
SASB is a colocated one-day workshop of the Static Analysis Symposium (SAS) 2018. It is aimed at promoting discussions and collaborations at the intersection between formal methods, static analysis, programming languages, mathematical modelling and systems and synthetic biology of natural and engineered systems. It is important to note that, despite the name of the workshop, we are not limiting the program to work in static analysis, but rather are open to submissions in all of the topics we have listed.programming languages, formal methods, static analysis, and systems and synthetic biology of natural and engineered systems.
Scope
The program of SASB 2018 will consist of invited talks, presentations of refereed talks, and presentations of refereed papers. Contributions are welcome on all aspects of modeling languages and associated analysis techniques, including static analysis of natural biological systems and the design, specification and verification of engineered biological and chemical systems. This includes, but is not limited to:
- static analysis frameworks and tools,
- equivalences and equivalence checking techniques,
- model reduction and decomposition techniques based on static analysis,
- state space compaction based on static analysis,
- links between topology and dynamics,
- constraint-based and stoichiometric analysis,
- languages for compact description of biological models,
- formalisms for description of biological networks,
- programming languages for molecular devices,
- static analysis in verification of molecular devices design,
- standards for models and their annotation,
- case studies and method applications,
- informal methods (that could be candidate to formalization).
Submission Guidelines
All papers must be original and not simultaneously submitted to another journal or conference. Full papers should be at most 12 pages, ENTCS format, excluding references. Extended abstracts (for presentation-only submissions) should be at most three pages, excluding references, in ACM proceedings format (http://www.sigplan.org/Resources/Author/#acmart-format). Please submit your abstract via the SASB 2018 author interface of EasyChair: https://easychair.org/conferences/?conf=sasb2018.
Venue Registration
Please see the main SAS page for details. Please make sure to specify you are registering for the SASB 2018 workshop!
Invited Speakers
Program Committee
- Lea Popovic, Concordia University, Canada.
- Verena Wolf, Saarland University, Germany.
- David Šafránek, Masaryk University, Czech Republic.
- Jean Krivine, IRIF, France
- Jerome Feret, INRIA, France
- Luca Cardelli, Microsoft, UK.
- Ashutosh Gupta, TIFR, India.
- John Bachman, Harvard University, USA.
- Loïc Paulevé, CNRS/LRI, France
- Heinz Koeppl, TU Darmstadt, Germany.
- Nicola Paoletti, Stony Brook University, USA.
- Hans-Michael Kaltenbach, ETH Zurich, Switzerland.
- Natasa Miskov-Zivanov, University of Pittsburgh, USA.
- Eugenio Cinquemani, INRIA, France.
Program Chairs
- Tatjana Petrov Department of Computer and Information Science, University of Konstanz
- Ankit Gupta Department of Biosystems Science and Engineering, ETH Zürich
Contact
All questions about submissions should be emailed to sasb2018 at uni-konstanz dot de