[loginf] Call for SHORT PAPERS, LPAR 2006 (Phnom Penh, Cambodia)

Miki Hermann Miki.Hermann at lix.polytechnique.fr
Mon Aug 28 15:34:38 CEST 2006

	   [Apologies for multiple copies of this message.]

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

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

More information about the loginf mailing list