[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]
The 18th International Static Analysis Symposium September 14-16, Venice, Italy http://sas2011.cs.technion.ac.il 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 * Registration http://sas2011.cs.technion.ac.il/registration.html * Hotel Information Being mid September very high season, participants must book the lodging for their stay as soon as possible. http://sas2011.cs.technion.ac.il/hotels.html