From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: from concorde.inria.fr (concorde.inria.fr [192.93.2.39]) by yquem.inria.fr (Postfix) with ESMTP id CE84CBB81 for ; Wed, 10 Nov 2004 11:13:59 +0100 (CET) Received: from pauillac.inria.fr (pauillac.inria.fr [128.93.11.35]) by concorde.inria.fr (8.13.0/8.13.0) with ESMTP id iAAADxxp013672 for ; Wed, 10 Nov 2004 11:13:59 +0100 Received: from nez-perce.inria.fr (nez-perce.inria.fr [192.93.2.78]) by pauillac.inria.fr (8.7.6/8.7.3) with ESMTP id LAA19640 for ; Wed, 10 Nov 2004 11:13:59 +0100 (MET) Received: from tcs.inf.tu-dresden.de (tcs.inf.tu-dresden.de [141.76.75.101]) by nez-perce.inria.fr (8.13.0/8.13.0) with ESMTP id iAAADw5F027207 (version=TLSv1/SSLv3 cipher=DHE-RSA-AES256-SHA bits=256 verify=FAIL) for ; Wed, 10 Nov 2004 11:13:59 +0100 Received: from hilbert.inf.tu-dresden.de (hilbert [141.76.75.183]) by tcs.inf.tu-dresden.de (8.12.9/8.12.9) with ESMTP id iAA9xlQG022186 for ; Wed, 10 Nov 2004 11:13:57 +0100 (MET) From: "Prof. Franz Baader" Received: (from baader@localhost) by hilbert.inf.tu-dresden.de (8.11.6/8.11.6) id iAA9La506537 for caml-list@pauillac.inria.fr; Wed, 10 Nov 2004 10:21:36 +0100 Message-Id: <200411100921.iAA9La506537@hilbert.inf.tu-dresden.de> Subject: LPAR'04: Deadline approaching To: caml-list@pauillac.inria.fr Date: Wed, 10 Nov 2004 10:21:36 +0100 (CET) X-Mailer: ELM [version 2.5 PL6] MIME-Version: 1.0 Content-Type: text/plain; charset=iso-8859-1 Content-Transfer-Encoding: 8bit X-Scanned-By: MIMEDefang 2.33 (www . roaringpenguin . com / mimedefang) at tcs.inf.tu-dresden.de X-Miltered: at concorde with ID 4191E9E7.000 by Joe's j-chkmail (http://j-chkmail.ensmp.fr)! X-Miltered: at nez-perce with ID 4191E9E6.000 by Joe's j-chkmail (http://j-chkmail.ensmp.fr)! X-Spam: no; 0.00; rwth:01 aachen:01 walukiewicz:01 abadi:01 matthias:01 baaz:01 logics:01 logics:01 model:01 rewriting:01 unification:01 lncs:01 authors':01 matthias:01 baaz:01 X-Spam-Checker-Version: SpamAssassin 3.0.0 (2004-09-13) on yquem.inria.fr X-Spam-Status: No, score=0.0 required=5.0 tests=none autolearn=disabled version=3.0.0 X-Spam-Level: Apologies for multiple copies. ------------------------------ LPAR-11 MONTEVIDEO, URUGUAY March 14-18, 2005 SUBMISSION DEADLINE IS APPROACHING: November 22, 2004: abstracts submission November 28, 2004: paper submission http://www.lpar.net/2004/ --------------------------------------------------- The 11th International Conference on Logic for Programming Artificial Intelligence and Reasoning --------------------------------------------------- PROGRAM CHAIRS Franz Baader TU Dresden Andrei Voronkov The University of Manchester INVITED SPEAKERS Alexander Leitsch (TU Wien) Volker Diekert (Universität Stuttgart) Jürgen Giesl (RWTH Aachen) Igor Walukiewicz (Université Bordeaux-1) TUTORIALS by Martin Abadi (University of California at Santa Cruz) Ian Horrocks (University of Manchester) WORKSHOPS on Implementations of Logic (organized by Stephan Schulz and Boris Konev) http://www.eprover.org/EVENTS/iwil-2004.html Analytic Proof Systems (organized by Matthias Baaz) IMPORTANT DATES November 22, 2004: abstracts submission November 28, 2004: paper submission January 14, 2005: notification of acceptance January 26, 2005: final versions due March 14, 2005: conference starts TOPICS include * automated reasoning * description logics * interactive theorem proving * nonmonotonic reasoning * implementations of logic * specification using logics * proof assistants * logic in artificial intelligence * program and system verification * lambda and combinatory calculi * model checking * constructive logic and type theory * rewriting and unification * computional interpretations of logic * logic programming * logical foundations of programming * constraint programming * logical aspects of concurrency * logic and databases * logic and computational complexity * modal and temporal logics * knowledge representation and reasoning * proof-carrying code * reasoning about actions * translation validation * proof planning * logic for the semantic web * effectively presented structures PAPER SUBMISSION Submitted papers must be original and not submitted concurrently for publication to a journal or to another conference. Both "regular" papers and "experimental" papers are welcome. The first category is intended to contain new results, the second one to describe implementations of systems, to report experiments with implemented systems, or to compare implemented systems. Submitted papers should not be longer than 15 proceedings pages, that is pages formatted using the Springer LNCS Authors' Instructions. If proofs do not fit in 15 pages, add an appendix with proofs. PROCEEDINGS The proceedings will be published by Springer-Verlag in the LNAI series and available at the conference. WEB RESOURCES More information can be found on the LPAR-11 Web page http://www.lpar.net/2004/ PROGRAM COMMITTEE Franz Baader (Technische Universität Dresden) Matthias Baaz (Technische Universität Wien) David Basin (ETH Zurich) Philippe Besnard (CNRS, Tolouse) Thomas Eiter (Technische Universität Wien) Javier Esparza (Universität Stuttgart) Marcelo Finger (Universidade de Sao Paulo ) Rajeev Gore (Australian National University) Georg Gottlob (Technische Universität Wien) Erich Grädel (RWTH AAchen) Martin Grohe (Humboldt Universität Berlin) Miki Hermann (Ecole Polytechnique) Hélène Kirchner (LORIA) Deepak Kapur (University of New Mexico) Dexter Kozen (Cornell University) Orna Kupferman (Hebrew University) Dietrich Kuske (Technische Universität Dresden) Maurizio Lenzerini (Universita di Roma) Leonid Libkin (University of Toronto) Christopher Lynch (Clarkson University) Dale Miller (INRIA) Ilkka Niemelä (Helsinki University of Technology) Tobias Nipkow (Technische Universität München) Luke Ong (Oxford University) Alberto Pardo (Universidad de la Republica, Montevideo) David Pym (University of Bath) Wolfgang Reif (Universität Augsburg) Ulrike Sattler (University of Manchester) Wolfgang Thomas (RWTH Aachen) Cesare Tinelli (The University of Iowa) Ralf Treinen (ENS Cachan) Andrei Voronkov (University of Manchester) Toby Walsh (University College Cork) Frank Wolter (University of Liverpool)