Google

SAS 2019 will be located in the Google room at the Alfândega do Porto (AP).

Session (Oct 09 08:50-09:00) Welcome to SAS 2019
Session 1 (Oct 09 09:00-10:00) Keynote: Mayur Naik
Session 2 (Oct 09 10:30-12:30) Pointers and Dataflow
Session 3 (Oct 09 14:00-15:00) Keynote: Caterina Urban
Session 4 (Oct 09 15:30-17:00) Languages and Decidability
Session (Oct 09 17:00-17:10) Presentation of the Radhia Cousot Young Researcher Award
Session (Oct 09 17:10-17:20) Program Chair's Report
Session 5 (Oct 10 09:00-10:00) Keynote: Somesh Jha
Session 6 (Oct 10 10:30-12:30) Numerical
Session 7 (Oct 10 14:00-15:00) Trends: Assuring Machine Learning
Session 8 (Oct 11 09:00-10:00) Keynote: Suresh Jagannathan
Session 9 (Oct 11 10:30-12:30) Synthesis and Security
Session 10 (Oct 11 14:00-15:30) Temporal Properties and Termination