[hofa] Fwd: [TYPES/announce] The 18th International Static Analysis Symposium (SAS'11) - Call for Participation
David Van Horn
dvanhorn at ccs.neu.edu
Wed Aug 31 06:14:16 PDT 2011
-------- Original Message --------
Subject: [TYPES/announce] The 18th International Static Analysis
Symposium (SAS'11) - Call for Participation
Date: Wed, 31 Aug 2011 06:56:18 +0300
From: Eran Yahav <yahave at cs.technion.ac.il>
To: types-announce at lists.seas.upenn.edu
[ 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
More information about the HOFA
mailing list