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.

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

Submissions can address any programming paradigm, including concurrent, constraint, functional, imperative, logic and object-oriented programming. Survey papers that present some aspect of the above topics with a new coherence are also welcome.

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)

Program Committee:

Important Dates Organizing Committee: