call for papers, previous message
From: fuchs@ifi.unizh.ch (Norbert E. Fuchs)
Subject: CFP: 10th Logic Programming Workshop (English)
Date: 21 Apr 1994 13:21:38 -0500
---------------
CALL FOR PAPERS
---------------
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
etc.
The program of the Logic Programming Workshop will include three invited
lectures
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
demonstrations.
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 fuchs@ifi.unizh.ch. 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
Organisers
----------
N. E. Fuchs
Department of Computer Science
University of Zurich
CH-8057 Zurich
Email fuchs@ifi.unizh.ch
G. Gottlob
Christian Doppler Laboratory for Expert Systems
Institute for Applied Informatics and System Analysis
Technical University Vienna
A-1040 Wien
Email gottlob@vexpert.dbai.tuwien.ac.at
Deadlines
---------
Submission of contributions 15 July 1994
Notification of authors 15 August 1994
Final versions of contributions 15 September 1994
--------------------------------------------------------------------