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
--------------------------------------------------------------------------