UNIVERSITÀ CA' FOSCARI DI VENEZIA
COMPUTER SCIENCE DEPARTMENT
Static Analysis Symposium
22-24 September 1999
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.