Subject: CFP: JELIA '98
From: JELIA98 Organizing Committee <[email-masked]>
To: JELIA98 Programme Committee -- Andrzej Szalas <[email-masked]>, Bruno Buchberger <[email-masked]>, Daniele Mundici <[email-masked]>, David Pearce <[email-masked]>, Ilkka Niemelae <[email-masked]>, Juergen Dix <[email-masked]>, Kym MacNish <[email-masked]>, Luis Farinas del Cerro <[email-masked]>, Luis Moniz Pereira <[email-masked]>, Mary-Anne Williams <[email-masked]>, Michael Kohlhase <[email-masked]>, Pascal van Hentenryck <[email-masked]>, Patrice Enjalbert <[email-masked]>, Ricard
Date: Tue, 2 Dec 1997 16:24:25 +0100 (MET)

----------------------------------------------------------------------
 			    J E L I A '9 8

		6th European Workshop on Logics in AI

                       Schloss Dagstuhl, Germany
                     October 12 - October 15, 1998
                 <http://www.uni-koblenz.de/~jelia98/>

           ============================================
           Preliminary Announcement and Call for Papers
           ============================================

The European Workshop on Logics in AI provides a major biennial forum
for the discussion of logic-oriented approaches to artificial
intelligence.  Following previous meetings in France (1988), The
Netherlands (1990), Germany (1992), England (1994) and Portugal (1996)
the sixth workshop will be held in Schloss Dagstuhl, Germany, October
12 - October 15, 1998.  It is organized by the Research Committee 1.2
"Inference Systems" (Fachausschuss 1.2 "Inferenzsysteme") of the
German Society of Computer Science GI (Gesellschaft fuer Informatik
e. V.).

As in previous workshops, the aim is to bring together researchers
involved in all aspects of logic in artificial intelligence.  A
particular emphasis of the 1998 workshop will be the applications of
running systems.

The workshop will include submitted contributions and a small number
of invited papers, all of which will be presented in plenary
sessions. Papers are sought in areas which include (but are not
limited to) the following topics:

    o  foundations of logic programming and knowledge-based systems
    o  automated theorem proving
    o  knowledge representation
    o  non-classical logics
    o  nonmonotonic reasoning and belief revision
    o  abductive and inductive reasoning
    o  program verfication
    o  hybrid reasoning systems
    o  applications of logic-based systems
    o  logics in machine learning

All submitted papers will be refereed by an international programme
committee and selections will be made on the basis of originality and
significance.

======================= 
Submission Requirements
======================= 
Authors are asked to submit their papers as Postscript files to the
Programme Co-Chair Ulrich Furbach (see below for address) before May
1, 1998.  The Proceedings will be published in the LNAI series by
Springer-Verlag and made available at the workshop.

As for the previous workshop it is planned to publish a special issue
of the Journal of Automated Reasoning containing full versions of the
best papers.

Submitted papers should include a separate title page giving the
names, addresses, phone numbers and email addresses of all authors,
and a list of keywords identifying the subject area of the paper.

Papers should be a maximum of 16 pages (including title, abstract,
figures and diagrams, but excluding references and the separate title
page), when printed on A4 paper in 12 point type with a maximum of 38
lines per page and 75 characters per line (corresponding to LaTeX
article style, 12 point).

For more information, visit the workshop homepage at the URL
<http://www.uni-koblenz.de/~jelia98/> or contact the Workshop Chair at
the address below.

===============
Important Dates
===============
Paper submission deadline:  May 1, 1998
Author Notification:        June 22, 1998
Final version due on:       July 24, 1998
Conference:                 October 12-15, 1998

==============
Workshop Chair
==============
Juergen Dix <[email-masked]>
Institut fuer Informatik
Universitaet Koblenz-Landau
Rheinau 1, D-56075 Koblenz, Germany.
Tel: +49 261 9119 420
Fax: +49 261 9119 496

===================
Programme Co-Chairs
===================
Luis Farinas del Cerro <[email-masked]>
IRIT,Universite Paul Sabatier
118 route de Narbonne
F-31062 Toulouse Cedex 4, France.
Tel: +33 561 556345
Fax: +33 561 558325

Ulrich Furbach <[email-masked]>
Institut fuer Informatik
Universitaet Koblenz-Landau
Rheinau 1, D-56075 Koblenz, Germany.
Tel: +49 261 9119 433
Fax: +49 261 9119 496

===================
Programme Committee
===================
    Bruno Buchberger <[email-masked]>
    Ricardo Caferra <[email-masked]>
    Robert Demolombe <[email-masked]>
    Juergen Dix <[email-masked]>
    Patrice Enjalbert <[email-masked]>
    Luis Farinas del Cerro <[email-masked]>
    Ulrich Furbach <[email-masked]>
    Pascal van Hentenryck <[email-masked]>
    Michael Kohlhase <[email-masked]>
    Vladimir Lifschitz <[email-masked]>
    Kym MacNish <[email-masked]>
    Daniele Mundici <[email-masked]>
    Ilkka Niemelae <[email-masked]>
    David Pearce <[email-masked]>
    Luis Moniz Pereira <[email-masked]>
    Teodor Przymusinski <[email-masked]>
    Andrzej Szalas <[email-masked]>
    Mary-Anne Williams <[email-masked]>
    Stefan Wrobel <[email-masked]>
-----------------------------------------------------------------

---
JELIA '98 Organizing Committee       http://www.uni-koblenz.de/~jelia98/
Attention: Ulrich Furbach            [email-masked]
Universitaet Koblenz-Landau          Tel: +49 261 9119 {432,433}
Fachbereich Informatik               Fax: +49 261 9119 496
Rheinau 1, D-56075 Koblenz, Germany.