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 <dix@informatik.uni-koblenz.de>
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 <Luis.Farinas@irit.fr>
IRIT,Universite Paul Sabatier
118 route de Narbonne
F-31062 Toulouse Cedex 4, France.
Tel: +33 561 556345
Fax: +33 561 558325
Ulrich Furbach <uli@informatik.uni-koblenz.de>
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 <Bruno.Buchberger@risc.uni-linz.ac.at>
Ricardo Caferra <caferra@cosmos.imag.fr>
Robert Demolombe <demolombe@tls-cs.cert.fr>
Juergen Dix <dix@informatik.uni-koblenz.de>
Patrice Enjalbert <patrice@info.unicaen.fr>
Luis Farinas del Cerro <farinas@irit.fr>
Ulrich Furbach <uli@informatik.uni-koblenz.de>
Pascal van Hentenryck <pvh@cs.brown.edu>
Michael Kohlhase <kohlhase@ags.uni-sb.de>
Vladimir Lifschitz <vl@cs.utexas.edu>
Kym MacNish <kym@cs.uwa.edu.au>
Daniele Mundici <mundici@imiucca.csi.unimit.it>
Ilkka Niemelae <ini@invariant.hut.fi>
David Pearce <pearce@dfki.uni-sb.de>
Luis Moniz Pereira <lmp@di.fct.unl.pt>
Teodor Przymusinski <teodor@cs.ucr.edu>
Andrzej Szalas <szalase@mimuw.edu.pl>
Mary-Anne Williams <maryanne@frey.newcastle.edu.au>
Stefan Wrobel <Stefan.Wrobel@gmd.de>
-----------------------------------------------------------------
---
JELIA '98 Organizing Committee http://www.uni-koblenz.de/~jelia98/
Attention: Ulrich Furbach jelia98@informatik.uni-koblenz.de
Universitaet Koblenz-Landau Tel: +49 261 9119 {432,433}
Fachbereich Informatik Fax: +49 261 9119 496
Rheinau 1, D-56075 Koblenz, Germany.
--------------------------------------------------------------------------
The dbworld list reaches many people, and should only be used for
messages of general interest to the database community.
To subscribe or unsubscribe yourself (or optionally (address)) from
dbworld, send a msg to majordomo@cs.wisc.edu with one of these lines:
subscribe dbworld (address)
unsubscribe dbworld (address)
To find out more options send a msg with the line:
help
--------------------------------------------------------------------------