LPAR 2004 call for papers


  • automated reasoning
  • interactive theorem proving
  • implementations of logic
  • proof assistants
  • program and system verification
  • model checking
  • rewriting and unification
  • logic programming
  • constraint programming
  • logic and databases
  • modal and temporal logics
  • proof-carrying code
  • translation validation
  • logic for the semantic web
  • description logics
  • nonmonotonic reasoning
  • specification using logics
  • logic in artificial intelligence
  • lambda and combinatory calculi
  • constructive logic and type theory
  • computional interpretations of logic
  • logical foundations of programming
  • logical aspects of concurrency
  • logic and computational complexity
  • knowledge representation and reasoning
  • reasoning about actions
  • proof planning
  • 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.

Papers should be submitted in the postscript (plain postscript; no encoding please) or readable PDF format through the submission page .

All questions related to submission should be sent to the program chairs.


The proceedings will be published by Springer-Verlag in the LNAI series and available at the conference. Authors of accepted papers will be requested to sign a form transfering copyright of their contribution to Springer-Verlag. Authors are encouraged to use LaTeX2e and the Springer llncs class files. If you use this style, turn on page numbers using \pagestyle{plain}.

Important dates

  Abstract and paper submission: November 30, 2004
  Notification: January 14, 2005
  Final version: January 26, 2005
  Early registration: ???
  Conference: March 14-18, 2005

Program chairs

Franz Baader
Technische Universität Dresden

Andrei Voronkov
The University of Manchester