SASB 2019: 10th International Workshop on Static Analysis for Systems Biology Alfandega Porto Congress Centre Porto, Portugal, October 8, 2019 |
Conference website | http://sat.inesc-id.pt/sasb2019/ |
Submission link | https://easychair.org/conferences/?conf=sasb2019 |
Abstract registration deadline | July 14, 2019 |
Submission deadline | July 14, 2019 |
SASB is a one-day workshop aimed at promoting discussions and collaborations at the intersection between programming languages, formal methods, static analysis, 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.
SASB 2019 will be co-located with SAS 2019, both being part of the FM'19 world congress.
Submission Guidelines
All papers must be original and not simultaneously submitted to another journal or conference. The following paper categories are welcome:
- Full papers up to 15 pages
- Short papers up to 6 pages
- Extended abstract up to 2 pages
Submissions in LNCS style, via the SASB 2019 author interface of EasyChair.
Revised versions of selected papers will be published after the workshop by Springer in a volume of its Lecture Notes in Computer Science (LNCS), which will collect contributions to some workshops and symposia co-located with FM 2019. Condition for inclusion in the post-proceedings is that at least one of the co-authors has presented the paper at the Workshop.
Committees
Program Committee
- Lea Popovic - Concordia University, Canada
- Verena Wolf - Saarland University, Germany
- David Šafranek - Masaryk University, Czech Republic
- Tatjana Petrov - University of Konstanz
- 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
- Thomas Sauter - University of Luxembourg
Organizing committee
- Pedro T. Monteiro - INESC-ID / IST - Universidade de Lisboa, Portugal
- Jean Krivine - CNRS, France
Venue
The conference will be held at Alfândega Porto Congress Centre, Porto, Portugal
Contact
All questions about submissions can be emailed to sasb2019 AT easychair.org