Objectives
SASB is a one-day workshop, affiliated with the Static Analysis Symposium , 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. See last year's edition.
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).
Program
| 9-10 | Carsten Wiuf | Graphs and the dynamics of reaction networks, abstract |
| 10-10.30 | coffee break | coffee break |
| 10.30-11 | Matej Troják, David Šafránek, Luboš Brim, Jakub Šalagovič and Jan Červený | Executable Biochemical Space for Specification and Analysis of Biochemical Systems (time-slot changed from 16h) |
| 11-11.30 | Hans-Michael Kaltenbach | A unified view on bipartite species-reaction graphs and their relation to interaction graphs and qualitative dynamics of chemical reaction networks |
| 11.30-12 | Matej Hajnal | Toward Model Selection by Formal Methods |
| 12-13.30 | lunch | lunch |
| 13.30-14.30 | María Rodríguez Martínez | From Big Data to mechanistic models: quantitative approaches to understand the healthy and cancerous cellular behavior |
| 14.30-15 | coffee break | coffee break |
| 15-15.30 | Andreea Beica, Jérôme Feret and Tatjana Petrov | Tropical Abstraction of Biochemical Reaction Networks with Guarantees |
| 15.30-16 | Pierre Boutillier, Aurélie Faure de Pebeyre and Jérôme Feret | Proving the absence of unbounded polymers in rule-based models |
| 16-16.30 | Xinwei Chai, Tony Ribeiro, Morgan Magnin, Olivier Roux and Katsumi Inoue | Static Analysis and Stochastic Search for Reachability Problem (time-slot changed from 10.30) |
| 16.30-17 | Thomas Wright and Ian Stark | Modelling Patterns of Gene Regulation in the Bond Calculus |
| 17 | final word |
Registration
Please register via the SAS conference website.
Invited Speakers
Dr. Maria Rodriguez Martinez, IBM Research, Zurich, Switzerland.
Prof. Carsten Wiuf, Department of Mathematical Sciences, University of Copenhagen, Denmark.
Important Dates
| Paper abstracts due | 15st July, 2018 (AoE) (extended) |
| Paper and presentation submissions due | 22nd July, 2018 (AoE) (extended) |
| Paper and presentation notifications | August 2, 2018 |
Submission
Chairs 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. Submission via EasyChair will be announced soon.
Organisation
Program Chairs
contact: sasb2018 at uni-konstanz dot de
| Tatjana Petrov | University of Konstanz |
| Ankit Gupta | ETH Basel |
Program Committee
| Lea Popovic | Concordia University, Canada |
| Verena Wolf | Saarland University, Germany |
| David Šafranek | 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 |