[CA] ================================================ AMAST Links 02 06

 5th International Workshop on Extensions of Logic Programming, ELP'96
                 Leipzig, Germany, March 28--30, 1996

   The (LaTeX) full version of the Call for Papers is available at URL:
   http://www.cs.utwente.nl/data/amast/links/v02/i06/full/AC0206CA.tex

  Following the previous meetings in T"ubingen (1989), Kista (Sweden)
(1991), Bologna (1992) and St Andrews (1993), and the post-conference
workshop at ICLP'94 on Proof-Theoretical Extensions of Logic
Programming, the 5th international workshop on Extensions of Logic
Programming will be held in Leipzig (Germany).
  *Topics.* ELP aims at stimulating research on extensions of logic
programming languages, especially those based on proof theory, and at
disseminating insights into the relations between the logics of those 
languages, implementation techniques and the use of these languages in
applications. Typical, but not exclusive, topics of interest are: 
proof-theoretic foundations; integration with functional programming; 
non-classical and linear logic programming; non-monotonicity; 
disjunctive logic programming; negation as failure; constructive
negation; applications and implementations.
  *Submissions.* Send four copies of your manuscript to:
   ELP'96/Heinrich Herre, Institut f"ur  Informatik,
   Universit"at Leipzig, Augustusplatz 10-11, D-04109 Leipzig, Germany
Alternatively, electronic submission of Postscript files is welcome.
The final version will need to be prepared using the Springer style
files or an approved simulation thereof. Papers must describe original,
previously unpublished research, be written and presented in English,
not exceed 15 A4 pages, and not be simultaneously submitted for
publication elsewhere.  Prospective authors should consult the detailed
submission information in the full version of this announcement.
  *Further Information* is available at the URL:
   http://www-theory.dcs.st-and.ac.uk/elp96.html
  *Important Dates*
   Deadline for submissions:              September 15, 1995 
   Notification of acceptance/rejection:  November   1, 1995 
   Deadline for final text:               December  15, 1995