Call for Participation: SAS 2017

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

                         CALL FOR PARTICIPATION

                               SAS 2017

                    24th Static Analysis Symposium

           New York City, NY, August 30th-September 1st, 2017

                http://staticanalysis.org/sas2017

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

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 24th

International Static Analysis Symposium, SAS 2017, will take place New

York University, New  York City, NY, USA. 

REGISTRATION

Registration is now open. Please visit:

http://staticanalysis.org/sas2017/registration.html

INVITED SPEAKERS

- Alex Aiken (Stanford University, USA)

- Francesco Logozzo (Facebook, USA)

- Peter Mueller (ETH Zurich, Switzerland)

INVITED TUTORIALS

- Josh Berdine (Facebook, UK)

- Roberto Giacobazzi (IMDEA, Spain / University of Verona, Italy)

ACCEPTED PAPERS

The list of accepted papers is available at:

http://staticanalysis.org/sas2017/accepted.html

AFFILIATED EVENTS 

- NSAD: The 7th Workshop on Numerical and Symbolic Abstract Domains 

  https://www.sci.unich.it/nsad2017/

- SASB: The 8th Workshop on Static Analysis and Systems Biology 

  http://www.cs.cmu.edu/~sasb2017/

- TAPAS: The 8th Workshop on Tools for Automatic Program Analysis 

  http://cs.nyu.edu/acsys/tapas2017/

Hope to see you in New York!

Francesco Ranzato, Program Chair

Patrick Cousot, Local Chair

Caterina Urban, Publicity Chair