SAS'01 Call for Papers

   Static Analysis is increasingly recognised as a fundamental tool for high performance implementations and verification systems of high-level programming languages. The series of Static Analysis Symposia has served as the primary venue for presentation of theoretical, practical and applicative advances in the area.

   The Eigth International Static Analysis Symposium (SAS'01) will be held at La Sorbonne in Paris and followed immediately at La Mutualité by the Thirteenth Conference on Computer Aided Verification (CAV'01, Previous symposia were held in Santa Barbara, Venice, Pisa, Paris, Aachen, Glasgow and Namur.

   The technical program for SAS'01 will consist of invited lectures, tutorials, panels, presentations of refereed papers, and software demonstrations. Contributions are welcome on all aspects of Static Analysis, including, but not limited to

abstract interpretation,   data flow analysis,
verification systems,   program specialization,
abstract domains,   optimizing compilers,
theoretical frameworks,   type inference,
abstract model checking,   complexity analysis,
abstract testing,   security analysis.

   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 welcomed.

   Submitted papers must not substantially overlap with papers that have been published or that are simultaneously submitted to a journal or a conference with a refereed proceedings.

   Submitted papers should be at most 15 single space 11-point font pages excluding bibliography and well-marked appendices. Program committee members are not required to read any appendices, and so a paper should be intelligible without them. The papers should be submitted as PostScript documents that are interpretable by Ghostscript and/or in PDF format, and they must be printable on both US letter and A4 paper; to facilitate this, extensive use of special fonts and colors should be avoided.

   Submissions should arrive by 15 February, 2001. All submissions must be done electronically at

   Authors will be notified of the acceptance or rejection of their papers by 2 April, 2001. Final versions of the accepted papers must be received in camera-ready and electronic form by 30 April, 2001.

Post: Patrick Cousot     Email:
École Normale Supérieure     Phone: + 33 1 44 32 20 64
Département d'Informatique     Fax: + 33 1 44 32 21 52
45, Rue d'Ulm    
75230 Paris Cedex 05, France    
   The proceedings will be published by Springer-Verlag in the series Lecture Notes in Computer Science (see for the LNCS authors instructions).