LPAR 2003 call for papers

Topics

  • automated reasoning
  • interactive theorem proving
  • implementations of logic
  • design of logical frameworks
  • program and system verification
  • model checking
  • rewriting
  • logic programming
  • constraint programming
  • logic and databases
  • logic and computational complexity
  • translation validation
  • proof-carrying code
  • logic in semantic web
  • proof planning
  • 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
  • program extraction from proofs
  • modal and temporal logics
  • knowledge representation and reasoning
  • reasoning about actions
  • 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 "regular" 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. Submitted "experimental" papers should not be longer than 10 proceedings pages.

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

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

Proceedings

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

  Submission of abstract: May 5th (extended)
  Submission of paper: May 12th (extended)
  Notification: June 23rd
  Final version: July 18th
  Early registration: July 18th
  Conference: September 22-26th

Program chairs


Moshe Y. Vardi
Department of Computer Science
Rice University
6100 S. Main St.
Houston, TX 77005, USA
Phone: +1-713-348-5977
Email: vardi@cs.rice.edu

Andrei Voronkov
Department of Computer Science
The University of Manchester
Oxford Rd.
Manchester M13 9PL, UK
Phone: +44-161-2756116