[DL] LPAR last CFP

[geoff at cs.miami.edu]

--------------------------------------------------------------------------
LPAR-12                                               Montego Bay, Jamaica
http://www.lpar.net/2005                             2nd-6th December 2005

                         Last 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. 
 
Dates and Deadlines:
+ Submission of full paper abstracts          11th July
+ Submission of full papers                   18th July
+ Submission of short papers                  26th September

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