[TYPES/announce] SAS 2019: Register Early by Sep 10

Bor-Yuh Evan Chang evan.chang at colorado.edu
Mon Sep 2 21:23:40 EDT 2019


---------------------------------------------------------------------

                     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
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://LISTS.SEAS.UPENN.EDU/pipermail/types-announce/attachments/20190902/3369f1af/attachment-0001.html>


More information about the Types-announce mailing list