Call For Papers
International Static Analysis Symposium (SAS'96)
Aachen, Germany, 24-26 September 1996
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 Third International Static Analysis Symposium, SAS'96, will be held in
Aachen in combination with the Fifth International Conference on Algebraic and
Logic Programming (ALP'96) and the Eighth International Symposium on
Programming Languages, Implementations, Logics, and Programs (PLILP'96).
The technical program for SAS'96 will consist of invited lectures,
presentations of refereed papers, and software demonstrations. Contributions
are welcome on all aspects of Static Analysis, including, but not limited to
Abstract Interpretation Optimising Compilers
Complexity Theoretical Frameworks
Experimental Evaluation Verification Systems
Specific Analyses Type Inference
Partial Evaluation 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 at the address below by 6 MAY 1996 in one of
these two forms: by email, a Postscript or (uuencoded) DVI file; or by post,
six paper copies. Electronic submission is preferred, but do ensure that your
submission is self-contained and prints on A4 paper. At the time of submission
a message containing an ASCII or LaTeX version of the paper's cover page
should be sent by email.
Authors will be notified of the acceptance or rejection of their papers by
25 JUNE 1996. Final versions of the accepted papers must be received in
camera-ready form by 17 JULY 1996. We anticipate that the proceedings will be
published by Springer-Verlag in the LNCS series.
Contact and Submission Address: Program Co-Chairs:
Email: [EMAIL PROTECTED] Radhia Cousot (FR)
Phone: +33 1 69 33 45 95 Dave Schmidt (US)
Fax: +33 1 69 33 30 14
Post: Radhia Cousot Program Committee:
LIX Francois Bourdoncle (FR)
Ecole Polytechnique Alain Deutsch (FR)
91128 Palaiseau cedex Roberto Giacobazzi (IT)
France Nicolas Halbwachs (FR)
Chris Hankin (UK)
Local Organisation: William L. Harrison (US)
Markus Mohnen Neil Jones (DK)
RWTH Aachen, Lehrstuhl fur Informatik II Peter Lee (US)
D-52056 Aachen, Germany Kim Mariott (AU)
[EMAIL PROTECTED] Jens Palsberg (US/DK)
Hanne Riis Nielson (DK)
Important Dates: Deadline: 6 May Carolyn Talcott (US)
Notification: 25 June Mads Tofte (DK)
Final Version: 17 July Reinhard Wilhelm (DE)
Information on SAS'96 (and ALP'96 and PLILP'96) is available from the WWW URL
http://www-i2.informatik.rwth-aachen.de/aachen96/
