[TYPES/announce] SAS 2015 Call for Participation

[Thomas Jensen]

---------------------------------
SAS 2015 Call for Participation: 
---------------------------------

Static Analysis Symposium 2015 

Saint-Malo, France
http://sas2015.inria.fr

Conference: September 9-11, 2015
Workshops: September 8, 2015

Early registration ends July 8. 

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

Static Analysis is increasingly 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 22nd
International Static Analysis Symposium, SAS 2015, will be held in
Saint-Malo, France. The technical program for SAS 2015 will consist of
invited lectures and presentations of refereed papers. See the SAS web
site http://sas2015.inria.fr for the list of accepted papers. 


Invited speakers
-----------------
Josh Berdine, Microsoft Research
Anders Møller, Aarhus University
Henny Sipma, Kestrel


Workshops
-------------------------
+ Workshop on Security for Low-Level Code
+ NSAD: The 7th Workshop on Numerical and Symbolic Abstract Domains
+ SASB: The 6th Workshop on Static Analysis and Systems Biology
+ TAPAS: The 6th Workshop on Tools for Automatic Program Analysis


Venue 
----- 

The conference will take place in Saint-Malo, France. Saint-Malo
is located on the north coast of Brittany in the western part of
France. Its outstanding landscapes and rich historical heritage make
Saint Malo a unique destination. The conference location is close to
the historic center of Saint-Malo and located on the water front with a
nice view of the town's spectacular coast line.

Registration
------------

See http://sas2015.inria.fr for on-line registration and information
about accommodation. 

Saint-Malo is busy in early September and you are advised to book your
accommodation early.