Logic List Mailing Archive
Logic for Programming Artificial Intelligence and Reasoning LPAR-12 (Jamaica, December 2005)
--------------------------------------------------------------------------
LPAR-12 Montego Bay, Jamaica
http://www.lpar.net/2005 2nd-6th December 2005
Call For Papers
The 12th International Conference on Logic for Programming Artificial
Intelligence and Reasoning (LPAR-12) will be held 2nd-6th December 2005,
at the Wexford Hotel, Montego Bay, Jamaica. Submission of papers for
presentation at the conference is now invited. Topics of interest include:
+ automated reasoning + propositional reasoning
+ interactive theorem proving + description logics
+ proof assistants + modal and temporal logics
+ proof planning + nonmonotonic reasoning
+ proof checking + constructive logic and type theory
+ rewriting and unification + lambda and combinatory calculi
+ software and hardware verification + logic programming
+ network and protocol verification + 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 over ontologies + knowledge representation and reasoning
+ 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-12 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-12 will be published by the conference.
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/LPAR-05/submit/).
Dates and Deadlines:
+ Submission of full paper abstracts 11th July
+ Submission of full papers 18th July
+ Notification of acceptance of full papers 12th September
+ Camera ready versions of full papers due 3rd October
+ Submission of short papers 26th September
+ Notification of acceptance of short papers 24th October
+ Camera ready versions of short papers due 7th November
Questions related to submission may be sent to the program chairs, Geoff
Sutcliffe and Andrei Voronkov.
--------------------------------------------------------------------------
Jamaica ... Land of LPAR and Reggae
--------------------------------------------------------------------------