UNIVERSITÀ CA' FOSCARI DI VENEZIA
COMPUTER SCIENCE DEPARTMENT
Static Analysis Symposium
22-24 september 1999
FINAL CALL FOR PAPERS
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.
Contributions are welcome on all aspects of Static Analysis, including, but not limited to
|Abstract Interpretation||Data Flow Analysis|
|Complexity Analysis||Theoretical Frameworks|
|Optimising Compilers||Verification Systems|
|Program Specialization||Type Inference|
|Model Checking||Abstract Domains|
Papers must be written in English, must not exceed 15 pages (excluding references and figures), and must contain a cover page containing the following: a 200-word abstract, keywords, postal and electronic mailing addresses, and phone numbers and fax numbers of one of the authors. Submissions should arrive by March 15, 1999 by email.
Electronic submission through the form is preferred, but do ensure that your submission is self-contained and prints on A4 paper. If you don't use the form, at the time of submission a message containing an ASCII or LaTeX version of the paper's cover page should be sent by email. All electronic submissions will be acknowledged. Authors will be notified of the acceptance or rejection of their papers by May 17, 1999. Final versions of the accepted papers must be received in camera-ready form by June 10, 1999. The proceedings are expected to be published by Springer-Verlag in the LNCS series.
Program Chair: G. File' (Padova)