SAS 2019: Register Early by Sep 10

by Bor-Yuh Evan Chang, Sept. 3, 2019

Register early by September 10 to the 26th Static Analysis Symposium (Porto, Portugal, part of FM Week) with special sessions on Trends in Static Analysis on static analysis and machine learning.


                     CALL FOR PARTICIPATION

                             SAS 2019

                  26th Static Analysis Symposium

           Part of the 3rd World Congress on Formal Methods

                  Porto, Portugal, October 8-11, 2019




Static Analysis is widely recognized as a fundamental tool for program verification, bug detection, compiler optimization, program understanding, and software maintenance. The series of Static Analysis Symposia has served as the primary venue for the presentation of theoretical, practical, and application advances in the area. The 26th Static Analysis Symposium, SAS 2019, will be held in Porto, Portugal. 


Register via the FM'19 World Congress at

- Early until Sep 10 (AoE)

- Late from Sep 11 until 5 Oct (AoE)

- On site from Oct 6 to Oct 11 (AoE)


- Mayur Naik (University of Pennsylvania): Rethinking Static Analysis by Combining Discrete and Continuous Reasoning.

- Caterina Urban (INRIA/ENS): Static Analysis of Data Science Software.

- Somesh Jha (University of Wisconsin-Madison): Towards Semantic Adversarial Examples.

- Suresh Jagannathan (Purdue University): Learning Verifiers and Verifying Learners.


The conference program is available at


- 10th Workshop on Static Analysis and Systems Biology (SASB 2019). Chairs: Pedro T. Monteiro (INESC-ID / IST - Universidade de Lisboa) and Jean Krivine (CNRS)

- 10th Workshop on Tools for Automatic Program Analysis (TAPAS 2019). Chair: David Delmas (Airbus and Sorbonne Université)

- 8th Workshop on Numerical and Symbolic Abstract Domains (NSAD 2019). Chair: Laure Gonnord (Université de Lyon)


For additional information about the 3rd World Congress on Formal Methods, visit

Hope to see you in Porto!

Bor-Yuh Evan Chang, Program Chair