[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]
--------------------------------------------------------------------- CALL FOR PARTICIPATION SAS 2019 26th Static Analysis Symposium Part of the 3rd World Congress on Formal Methods Porto, Portugal, October 8-11, 2019 http://staticanalysis.org/sas2019 --------------------------------------------------------------------- ABOUT 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. REGISTRATION Register via the FM'19 World Congress at http://bit.ly/fm19-register: - Early until Sep 10 (AoE) - Late from Sep 11 until 5 Oct (AoE) - On site from Oct 6 to Oct 11 (AoE) INVITED TALKS - 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. PROGRAM The conference program is available at https://easychair.org/smart-program/SAS2019/. AFFILIATED EVENTS - 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) FM'19 WORLD CONGRESS For additional information about the 3rd World Congress on Formal Methods, visit http://formalmethods2019.inesctec.pt/. Hope to see you in Porto! Bor-Yuh Evan Chang, Program Chair