Second 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/