Static Analysis Symposium
Venezia, Italy
22-24 September 1999

Static Analysis is increasingly recognised as a fundamental tool for high performance implementations and verification systems of high-level programming languages. The last two decades have witnessed substantial developments in this area, ranging from theoretical frameworks to design, implementation, and application of analysers in optimising compilers.

The Sixth International Static Analysis Symposium (SAS'99) will be held in Venezia, in conjunction with the Wokshop on Logic-based Program Synthesis and Transformation LOPSTR'99, hosted by Ca' Foscari University in the Conference Hall of the 1700 Venetian Palazzo Ca' Dolfin (click here to see a detailed map). Previous symposia were held in Namur, Glasgow, Aachen, Paris, and Pisa.

The technical program for SAS'99 will consist of invited lectures, tutorials, panels, presentations of refereed papers, and software demonstrations. Invited talks will be given by Daniel Weise (Microsoft Research), David McAllester (AT&T Research), Dennis Volpano (Naval Postgraduate School), and Don Sannella (Univ. of Edinburgh). Tutorials will be given by David Schmidt, Mary Lou Soffa, and Craig Chambers.

The event is sponsored by CNR,GNIM,Compulog, ALP, Ca' Foscari University of Venice, and Padova University.

SAS'99 Organizing Committee
e-mail:  sas99@dsi.unive.it