call for papers, previous message

From: (Norbert E. Fuchs)
Subject:  CFP: 10th Logic Programming Workshop (English)
Date:     21 Apr 1994 13:21:38 -0500


The Gesellschaft fuer Logisches Programmieren GLP - a subsection of the
Association for Logic Programming ALP - the sections 1.1 and 1.2  of the
Gesellschaft fuer Informatik GI, and the Swiss Group for Artificial
Intelligence and Cognitive Science SGAICO invite you to participate at the

       10th Logic Programming Workshop

       University of Zurich

       5 - 7 October 1994

Logic programming originates from the discovery that a subset of predicate
logic can be given a procedural interpretation thus forming the basis for
logic programming languages like Prolog, its extensions and successors. The
unique features of logic programming make it especially attractive for many
applications in artificial intelligence, program development, databases,
processing of language, computer aided design, programming with constraints

The program of the Logic Programming Workshop will include three invited

       Francois Bry (LMU Munich), Logic without Model Theory
       Andreas Krall (TU Wien), Implementation Techniques for Prolog
       Nada Lavrac (IJS Ljubljana), Inductive Logic Programming

presentations of a selection of the submitted papers, poster sessions, and

Until last year, the Logic Programming Workshop took place in Germany, and
attracted mainly German participants. By organising this year's workshop in
Zurich - and next year's in Vienna - we explicitly address researchers,
students, developers and users of logic programming of the three German
speaking countries Austria, Germany, and Switzerland. The languages of the
workshop will be German and English.

We invite you to submit contributions in German or English from all aspects
of logic programming. We will consider not only original papers, but also
reports of current research and of completed projects. All contributions
will be refereed and - if accepted - published in the proceedings of the
workshop. Poster sessions and demonstrations on Macintoshes and Sun
workstations can be arranged.

Your submission should be in the form of an extended abstract not exceeding
4 pages, and must clearly identify the name, address, and email address of
the responsible author.

Please send your contribution until 15 July by electronic mail (plain
ASCII, BinHex'ed MacWord, or LATEX) to Your
contribution will be forwarded to the members of the program committee. You
will be notified of the acceptance or rejection of your contribution by 15
August. Final versions of your contribution must be available by 15
September to be included in the proceedings of the workshop.

Program Committee

       J. Eder, University of Klagenfurt
       N. E. Fuchs, University of Zurich
       U. Geske, GMD Berlin
       G. Gottlob, TU Vienna
       S. Hoelldobler, University of Dresden
       R. Marti, ETH Zurich
       L. Pluemer, University of Bonn


       N. E. Fuchs
       Department of Computer Science
       University of Zurich
       CH-8057 Zurich

       G. Gottlob
       Christian Doppler Laboratory for Expert Systems
       Institute for Applied Informatics and System Analysis
       Technical University Vienna
       A-1040 Wien

Submission of contributions     15 July 1994
Notification of authors         15 August 1994
Final versions of contributions 15 September 1994