+ 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                  
+ non-monotonic 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
+ proof-carrying 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 Springer-Verlag in the LNAI series. Authors of accepted full papers will be required to sign a form transferring copyright of their contribution to Springer-Verlag. 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