Logic List Mailing Archive
LPAR-13, Logic for Programming Artificial Intelligence and Reasoning, Phnom Penh, Cambodia, November 2006
LPAR-13 Phnom Penh, Cambodia
http://www.lix.polytechnique.fr/~hermann/LPAR2006/ 13th-17th November 2006
=09=09=09 Last Call For 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 papers for
presentation at the conference is now invited. Topics of interest include:
+ automated reasoning + propositional reasoning
+ interactive theorem proving + description logics
+ software verification=09=09 + hardware verification
+ software testing=09=09 + 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=09=09 + knowledge representation and reasoning
+ modal and temporal logics=09 + constraint programming
+ systems specification and synthesis + logical foundations of programming
+ model checking + computational interpretations of l
ogic
+ 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
implementations or evaluations of systems. Short papers may describe work
in progress or provide system descriptions. Submitted papers must be
original, and not submitted concurrently to a journal or another
conference.
The full paper proceedings of LPAR-13 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-13 will be published by the conference.
Program Committee
-----------------
Mar?a Alpuente Technical University of Valencia
Franz Baader Technische Universit?t Dresden
Matthias Baaz Vienna University of Technology
Christoph Benzm?ller Universit?t des Saarlandes
Koen Claessen Chalmers University of Technology
Javier Esparza University of Stuttgart
Berndt Fischer University of Southampton
J?rgen Giesl RWTH Aachen
Jean Goubault-Larrecq ENS Cachan
Erich Gr?del Aachen University of Technology
Ziyad Hanna Intel
Pascal van Hentenryck Brown University
Miki Hermann CNRS and ?cole Polytechnique
Brahim Hnich University College Cork
Ian Horrocks,=09 University of Manchester
Viktor Kuncak MIT
Orna Kupferman Hebrew University
Christopher Lynch Clarkson University
Dale Miller INRIA Futurs and ?cole Polytechnique
George Necula UC Berkeley
Joachim Niehren LIFL and INRIA Futurs
Luke Ong Oxford University
Catuscia Palamidessi LIX and INRIA Futurs
Michel Parigot PPS and CNRS
Frank Pfenning Carnegie Mellon University
Reinhard Pichler Vienna University of Technology
Michael Rusinowitch LORIA and INRIA-Lorraine
Mooly Sagiv Tel-Aviv University
Gernot Salzer Vienna University of Technology
Christelle Scharff Pace University
Sopheap Seng ITC Phnom Penh
Geoff Sutcliffe University of Miami
Sophie Tison LIFL and Universit? de Lille
Margus Veanes Microsoft Research
Andrei Voronkov University of Manchester and Microsoft Research
Submission Instructions
-----------------------
Papers must be prepared using the Springer-Verlag instructions for authors
(http://www.springer.de/comp/lncs/authors.html). Papers may be up to 15
pages. If proofs do not fit in 15 pages, an appendix with proofs may be
added. Short papers may be up to 5 pages. Papers must be submitted in plain
postscript or PDF format, through the online submission system
(http://www.easychair.org/LPAR06/).
Dates and Deadlines:
+ Submission of full paper abstracts 2nd May
+ Submission of full papers 9th May
+ Notification of acceptance of full papers 10th July
+ Camera ready versions of full papers due 5th September
+ Submission of short papers 28th August
+ Notification of acceptance of short papers 11th September
+ Camera ready versions of short papers due 25th September
Questions related to submission may be sent to the program chairs, Miki
Hermann and Andrei Voronkov.
--------------------------------------------------------------------------
=09=09Cambodia ... Land of LPAR and Pagodas
--------------------------------------------------------------------------