SASB 2018

9th International Workshop on Static Analysis in Systems Biology (SASB 2018)

SASB 2018 is a one-day workshop that aims to promote discussion and collaboration at the intersection between formal methods and biology. 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 modelling 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 formalisation).

PC co-Chairs
- Ankit Gupta, ETH Zurich
- Tatjana Petrov, University of Konstanz

Program Committee
- Lea Popovic, Concordia University, Canada.
- Verena Wolf, Saarland University, Germany.
- David Safranek, 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.
- Loic Pauleve, 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.