To: aiia@di.unito.it, appiar@ncc.up.pt, ccl@ps.uni-sb.de, clp@cis.ohio-state.edu, compulog-deduction@cs.bham.ac.uk, compunode@compulog.org, compunode@dfki.uni-sb.de, csp-list@saturne.cert.fr, dbworld@cs.wisc.edu, deduktion@intellektik.informatik.th-darmstadt.de, fg121@informatik.uni-ulm.de, glp@first.gmd.de, gulp@di.unipi.it, idss@socs.uts.edu.au, lics@research.bell-labs.com, linear@cs.stanford.edu, logic@cs.cornell.edu, logic@theory.lcs.mit.edu, lpnmr@cs.engr.uky.edu, lprolog@central.cis.upenn.edu, mlnet@swi.psy.uva.nl, theorem-provers@mc.lcs.mit.edu Newsgroups: comp.ai, comp.constraints, comp.databases.theory, comp.lang.prolog, comp.object.logic, comp.theory, de.sci.informatik.ki, sci.logic, sci.research Reply-To: jelia98 Subject: JELIA'98: 2nd Call for Participation ====================================================================== Conference Home page: <http://www.uni-koblenz.de/~jelia98/> E-mail: <mailto:jelia98@uni-koblenz.de> ====================================================================== SECOND CALL FOR PARTICIPATION JELIA'98 6th European Workshop on Logics in AI Schloss Dagstuhl, Germany October 12 - 15, 1998 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 - 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. The list of accepted papers in alphabetical order is available via <http://www.uni-koblenz.de/~jelia98/acc.html>. It will be sent to you automatically by e-mail, if you send an e-mail message with the text "SEND-ACCEPTED-LIST" in the subject-line of your e-mail message to <mailto:jelia98@uni-koblenz.de>. =============== Important Dates =============== Early Registration Deadline: August 31, 1998 Registration Deadline: September 30, 1998 Conference: October 12 - 15, 1998 ================ Invited Speakers ================ Erik Sandewall, Linkoeping University, SWEDEN Bart Selman, Cornell University, USA Paul Tarau, Université de Moncton, CANADA =============== How to Register =============== You are encouraged to register on-line from the conference home page at <http://www.uni-koblenz.de/~jelia98/RegistrationForm.html>. If you wish, you may also register off-line by sending a text form by fax, e-mail, or conventional mail to the registration address mentioned in the form. You will obtain the text form automatically by sending an e-mail message to <mailto:jelia98@uni-koblenz.de> with the text "SEND-REGISTRATION-FORM" in the subject-line of your e-mail message. In case of questions, contact the organization team via e-mail <mailto:jelia98@uni-koblenz.de>. The early registration deadline is August 31, 1998 and the registration closes on September 30, 1998. ===================== Availability of Funds ===================== Limited financial support is available for colleagues from Eastern Europe and students. For details and application, please contact Jürgen Dix <dix@informatik.uni-koblenz.de> as early as possible. =================== Further Information =================== Visit <http://www.uni-koblenz.de/~jelia98/> in the world wide web for any information regarding this conference. ============== Workshop Chair ============== Juergen Dix <dix@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@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@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.