[TYPES/announce] SAS early registration ends August 10, student travel grants available

Eran Yahav yahave at cs.technion.ac.il
Sat Jul 30 01:17:15 EDT 2011

  The 18th International Static Analysis Symposium
            September 14-16, Venice, Italy

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 presentation of theoretical, practical, and
application advances in the area. The Eighteenth International Static
Analysis Symposium (SAS 2011) will be held in Venice, Italy.

* Invited Speakers

Jerome Feret, Ecole Normale Superieure, France

Daniel Kaestner, AbsInt, Germany

Ken McMillan, Microsoft Research

John Mitchell, Stanford

Sriram Rajamani, Microsoft Research India

* Co-located Workshops

The International Workshop on Numerical and Symbolic Abstract
Domains (NSAD 2011) - September 13th

The International Workshop on Static Analysis and Systems
Biology (SASB 2011) - September 13th

The International Workshop on Tools for Automatic Program AnalysiS
(TAPAS 2011) - September 17th

* Early Registration - Until August 1st


* Student Travel Grants Available

Apply by sending email to yahave at cs.technion.ac.il

* Hotel Information

Being mid September very high season, participants must book the lodging for
their stay as soon as possible.


More information about the Types-announce mailing list