Submission of papers for presentation at the conference is now open.
Topics of interest include:
+ automated reasoning
+ propositional reasoning
+ interactive theorem proving
+ description logics
+ software verification
+ hardware verification
+ software testing
+ logic and ontologies
+ proof assistants
+ network and protocol verification
+ proof planning
+ nonmonotonic reasoning
+ proof checking
+ constructive logic and type theory
+ rewriting and unification
+ lambda calculus
+ logic programming
+ knowledge representation and reasoning
+ modal and temporal logics
+ constraint programming
+ systems specification
+ logical foundations of programming and synthesis
+ model checking
+ computational interpretations of logic
+ proofcarrying code
+ logic and computational complexity
+ logic and databases
+ logic in artificial intelligence
+ reasoning for the semantic web
+ reasoning about actions
Full and short papers are welcome.
Full papers may be either regular
papers containing new results, or experimental papers describing
implementation or evaluation of systems. Submitted full papers must be
original, and not submitted concurrently to a journal or another
conference.
The page limit for full papers is 15 pages
in the LNCS format.
Full papers must be submitted through the EasyChair system using the Web page
http://www.easychair.org/LPAR07/
Short papers may be research papers, describe work
in progress or provide system descriptions. They need not be original.
Extended versions of the short papers may be submitted concurrently
or after LPAR to another conference or a journal.
The page limit for short papers is 5 pages
in the LNCS format.
Short papers must be submitted through the EasyChair system using the Web page
http://www.easychair.org/LPAR2007short/
The full paper proceedings of LPAR 2007 will be published by
SpringerVerlag in the LNAI series. Authors of accepted full papers will
be required to sign a form transferring copyright of their contribution
to SpringerVerlag. The short paper proceedings of LPAR 2007 will be
published by the conference.
Programme Chairs

Nachum Dershowitz Tel Aviv University
Andrei Voronkov University of Manchester
Dates and Deadlines

+ Submission of full paper abstracts June 4
+ Submission of full papers June 11
+ Submission of short papers August 10
