Reminder and final CFP PLILP/SAS'96

[Herbert Kuchen]

                 Joint international conference

                      ALP/PLILP/SAS'96 

           Aachen, Germany       September 24-27, 1996


           *******************************************
           *                                         *
           *  DEADLINE FOR SUBMISSIONS:  MAY 6, 1996 *
           *                                         *
           *******************************************


                FOR MORE DETAILS SEE WWW-PAGE: 

       http://www-i2.informatik.rwth-aachen.de/aachen96/


ALP:   Fifth International Conference on Algebraic and 
       Logic Programming 

  Topics (non exclusive list):
   -  Semantics of algebraic and logic programming 
   -  Integration of functional and logic programming 
   -  Term rewriting, narrowing, resolution 
   -  Constraint logic programming and theorem proving with constraints 
   -  Concurrent features in algebraic and logic programming languages 
   -  Higher order features in algebraic and logic  programming languages 


  Program Committee

  Michael Hanus (Germany) Co-Chair
  Mario Rodríguez-Artalejo (Spain) Co-Chair

  Sergio Antoy (USA)
  Egidio Astesiano (Italy)
  Jürgen Avenhaus (Germany)
  Pierre Deransart (France)
  Laurent Fribourg (France)
  Joxan Jaffar (Singapore)
  Giorgio Levi (Italy)
  Karl Meinke (UK)
  Aart Middeldorp (Japan)
  Luis Monteiro (Portugal)
  Fernando Orejas (Spain)
  Catuscia Palamidessi (Italy)
  Frank Pfenning (USA)
  Mario Rodríguez-Artalejo (Spain)
  Vijay Saraswat (USA)
  Peter Stuckey (Australia)
  Andrzej Tarlecki (Poland)
  Andrei Voronkov (Sweden)
  Martin Wirsing (Germany) 



PLILP: Eighth International Symposium on Programming Languages, 
       Implementations, Logics, and Programs

  Topics (non exclusive list):
   -  Implementation of declarative concepts 
   -  Integration of different paradigms 
   -  Compiler specification and construction 
   -  Program analysis and transformation 
   -  Programming environments 
   -  Executable specifications 
   -  Reasoning about language constructs 
   -  Experiences in constructing applications 
   -  Typing and structuring systems 


  Program Committee

  Herbert Kuchen (Germany) Co-Chair
  Doaitse Swierstra (Netherlands) Co-Chair

  Maria Alpuente (Spain)
  Patrick Cousot (France)
  Yike Guo (UK)
  Maurizio Gabbrielli (Italy)
  Fritz Henglein (Denmark)
  Tetsuo Ida (Japan)
  Gerda Janssens (Belgium)
  Thomas Johnsson (Sweden)
  Daniel Le Metayer (France)
  Alexander Letichevsky (Ukraine)
  Rita Loogen (Germany)
  Jan Maluszynski (Sweden)
  Erik Meijer (Netherlands)
  Dale Miller (USA)
  Masaki Murakami (Japan)
  Rinus Plasmeijer (Netherlands)
  Laurence Puel (France)
  Gert Smolka (Germany)
  Pascal van Hentenryck (USA)



SAS:   Third International Static Analysis Symposium

   Topics (non exclusive list):
   -  Abstract Interpretation 
   -  Optimising Compilers 
   -  Complexity 
   -  Theoretical Frameworks 
   -  Experimental Evaluation 
   -  Verification Systems 
   -  Specific Analyses 
   -  Type Inference 
   -  Partial Evaluation 
   -  Abstract Domains 


   Program Committee

   Radhia Cousot, CNRS & École Polytechnique (France) Co_Chair
   Dave Schmidt, Kansas State University, Manhattan, (USA) Co_Chair

   François Bourdoncle, Ecole des Mines, Sophia-Antipolis, FR 
   Alain Deutsch, INRIA, Rocquencourt, FR 
   Roberto Giacobazzi, Pisa University, IT 
   Nicolas Halbwachs, Verimag, Grenoble, FR 
   Chris Hankin, Imperial College, UK 
   William L. Harrison, Connected Components, Cambridge, US 
   Neil Jones, Copenhagen University, DK 
   Peter Lee, Carnegie Mellon University, US 
   Kim Mariott, Monash University, AU 
   Jens Palsberg, MIT/Aarhus University, US/DK 
   Hanne Riis-Nielson, Aarhus University, DK 
   Carolyn Talcott, Stanford University, US 
   Mads Tofte, Copenhagen University, DK 
   Reinhard Wilhelm, Saarbrücken University, DE 


  
Important Dates
_______________

  Deadline for submissions:              May 6, 1996 
  Notification of acceptance/rejection:  June 25, 1996 
  Deadline for final text:               July 17, 1996 


Guide for authors 
_________________

(see also: http://www-i2.informatik.rwth-aachen.de/aachen96/ )

Authors are invited to send their manuscripts by email 
in PostScript or DVI format to: 

ALP:   alp96@informatik.rwth-aachen.de 
PLILP: plilp96@informatik.rwth-aachen.de 
SAS:   rcousot@lix.polytechnique.fr

Papers must describe original, previously unpublished research, 
be written and presented in English, not exceed 15
pages (A4 or letter format, up to 5,000 words, excluding 
references and figures), and not be simultaneously
submitted for publication elsewhere. The cover page should 
include a 200-word abstract, keywords, postal and
electronic mailing addresses, and phone numbers and fax 
numbers of one of the authors. 

At the moment of submission a message containing the title 
of the paper, authors, abstract, keywords, and the
address information outlined above should be sent by 
email (ALP, PLILP, SAS) to the corresponding address. 

The proceedings will be published by Springer Verlag in the LNCS series. 
You are strongly encouraged to use LaTeX for the preparation of your
camera-ready manuscript together with the corresponding Springer 
style files llncs (see the web page).