call for papers, previous message

From: (Bart Demoen)
Subject:  Close deadline !
Date:     31 Aug 1994 09:22:09 GMT

                     Final Call for Papers
                ILPS'94 Postconference Workshop on

                  Implementation  Techniques
               for  Logic  Programming  Languages

                       18 November 1994
                       Ithaca, New York

    Rapid developments in sequential and parallel implementation
technology create the need for a specialized workshop on low level
implementation techniques.  This workshop intends to bring together 
people involved in conventional and alternative implementation 
technologies for Prolog and other logic programming languages. 
It is aimed at being a kind of continuation of the very successful 
workshop on Implementations of Logic Programming Systems of the 
ICLP'93 conference. The issues discussed are interesting for 
implementors but also for people involved in compilation
related domains like abstract interpretation, static analysis and
users of emerging new logic programming languages.

Topics include, but are not limited to

    standard and alternative implementation technologies: 
       compilation to C, binarization, non-WAM based engines, 
       specialized engines for object-oriented and constraint 
       LP extensions,...

    impact of abstract interpretation and global compilation on
       basic WAM issues: Aquarius, Parma,...

    implementations of alternative logic languages: Goedel, Life,
       Andorra, KL1, AKL,...

    implementations  of  parallel  logic  programming  languages:
       symmetric multiprocessing, distributed multiprocessing,...

Description of the workshop

Papers must be sent to Koen De Bosschere before September 15,
1994 and will reviewed by the workshop organizers.  Electronic
submissions are encouraged.

Informal proceedings will be distributed at the workshop.

All submissions and information requests should be sent to:

    Koen De Bosschere
    ELIS, Universiteit Gent
    St.-Pietersnieuwstraat 41, B-9000 Gent, Belgium
    Tel: +32 (9) 264 34 06      Fax: +32 (9) 264 35 94

Workshop organizers:
   Koen De Bosschere, Universiteit Gent, Belgium,
   Bart Demoen, Katholieke Universiteit Leuven,
   Paul Tarau, Universite de Moncton,

Important dates:   Deadline for submission of papers: September 15
                   Notification for acceptance/rejection: October 14