Int'l Conference on Logic for Programming Artificial Intelligence and Reasoning (LPAR 2003)

TOPICS
* automated reasoning * description logics
* interactive theorem proving * nonmonotonic reasoning
* implementations of logic * specification using logics
* design of logical frameworks * logic in artificial intelligence
* program and system verification * lambda and combinatory calculi
* model checking * constructive logic and type theory
* rewriting * computional interpretations of logic
* logic programming * logical foundations of programming
* constraint programming * logical aspects of concurrency
* logic and databases * program extraction from proofs
* logic and computational complexity * modal and temporal logics
* translation validation * knowledge representation and reasoning
* proof-carrying code * reasoning about actions
* logic in semantic web * effectively presented structures
* proof planning
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 according to Springer's LNCS Authors'
Instructions. If proofs do not fit in 15 pages, add an appendix with
proofs or refer to a full version of the article on the Web. Submitted
"experimental" papers should not be longer than 10 proceedings pages.
Papers should be submitted in the postscript or pdf format (no encoding)
through the submission page http://www.lpar.net/2003/submission.cgi.
All questions related to submission should be sent to the program chairs.

IMPORTANT DATES
Submission of abstract: April 28th
Submission of paper: May 5th
Notification: June 16th
Final version: July 7th
Conference: September 22-26th