The (LaTeX) full version of the Call for Papers is available.
Following the previous meetings in Tübingen (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ür Informatik,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.
Universität Leipzig, Augustusplatz 10-11, D-04109 Leipzig, Germany
Further Information is available .
Important Dates
Deadline for submissions: September 15, 1995
Notification of acceptance/rejection: November 1, 1995
Deadline for final text: December 15, 1995