LPAR-11, Montevideo, Uruguay: first CFP

                  LPAR-11
            MONTEVIDEO,  URUGUAY
              March 14-18,  2005

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

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/