Skip to main content

The Eighth International Workshop on Static Analysis for Systems Biology

A Colocated Workshop of SAS 2017

August 29, 2017
New York, New York


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.


The program of SASB 2017 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:


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. Please submit on EasyChair here.

Important Dates

Paper and presentation submissions due July 1, 2017
Paper and presentation notifications August 2, 2017

Invited Speaker

Matt Might (pending White House Approval) Strategist in the Executive Office of the President,
Director of the Hugh Kaul Precision Medicine Institute (UAB)


Program Chairs

Contact: sasb2017-chair [at] cs [dot] cmu [dot] edu.

Jean Yang Carnegie Mellon University
John A. Bachman Harvard Medical School

Program Committee

Luca Cardelli Microsoft Research
Eric Deeds University of Kansas
James Faeder University of Pittsburgh
Jérôme Feret INRIA Paris
Ben Hall University of Cambridge
Jean Krivine Université Paris Diderot
Nicola Paoletti Stony Brook University
Loic Paulevé CNRS and LRI
Tatjana Petrov IST Austria
Amaury Pouly MPI-SWS
Ovidiu Radulescu Université de Montpellier 2
Qinsi Wang Carnegie Mellon University
Paolo Zuliani Newcastle University

© Jean Yang 2015. Last updated April 07, 2017.