[Prev][Next][Index][Thread]
SAS'96: last call for papers
[------ The Types Forum ------- http://www.dcs.gla.ac.uk/~types ------]
Third 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 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: rcousot@lix.polytechnique.fr 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 Franncois 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 Marriott (AU)
aachen96@informatik.rwth-aachen.de 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/