### Logic List Mailing Archive

## LPAR-13, Phnom Penh (Cambodia), Nov 2006, Call for Short Papers

LPAR-13 Phnom Penh, Cambodia
http://www.lix.polytechnique.fr/~hermann/LPAR2006/ 13th-17th November 2006
Call for SHORT PAPERS
The 13th International Conference on Logic for Programming Artificial
Intelligence and Reasoning (LPAR-13) will be held 13th-17th November
2006, at the Hotel Cambodiana, Phnom Penh, Cambodia. Submission of
SHORT PAPERS for presentation at the conference is now invited. 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 and combinatory calculi
+ logic programming + knowledge representation and reasoning
+ modal and temporal logics + constraint programming
+ systems specification and synthesis + logical foundations of programming
+ 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
SHORT PAPERS may describe work in progress or provide system
descriptions.
Submission Instructions
-----------------------
Short Papers must be prepared using the Springer-Verlag instructions
for authors (http://www.springer.de/comp/lncs/authors.html). Short
papers may be up to 5 pages. Papers must be submitted in PDF format,
through the online submission system (http://www.easychair.org/LPAR06/).
Dates and Deadlines:
+ Submission of short papers 16th September
+ Notification of acceptance of short papers 25th September
+ Camera ready versions of short papers due 29th September
Questions related to submission may be sent to the program chairs, Miki
Hermann and Andrei Voronkov.
--------------------------------------------------------------------------
Cambodia ... Land of LPAR and Pagodas
--------------------------------------------------------------------------