[TYPES/announce] Call for Participation: SAS 2017

Urban Caterina caterina.urban at inf.ethz.ch
Wed Jul 5 17:57:10 EDT 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


More information about the Types-announce mailing list