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
  • interactive theorem proving
  • proof assistants
  • proof planning
  • proof checking
  • rewriting and unification
  • decision procedures for logical theories
  • combination of decision procedures
  • software and hardware verification
  • network and protocol verification
  • systems specification and synthesis
  • model checking
  • proof-carrying code
  • reasoning over ontologies
  • logic and reasoning for the semantic web
  • propositional reasoning
  • description logics
  • modal and temporal logics
  • nonmonotonic reasoning
  • constructive logic and type theory
  • lambda and combinatory calculi
  • logic and databases
  • logic programming
  • constraint programming
  • logical foundations of programming
  • computational interpretations of logic
  • logic and computational complexity
  • logic in artificial intelligence
  • knowledge representation and reasoning
  • 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. Full 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.

Dates and deadlines:

  • Submission of full paper abstracts
  • Submission of full papers
  • Notification of acceptance of full papers
  • Camera ready versions of full papers due
  • Submission of short papers
  • Notification of acceptance of short papers
  • Camera ready versions of short papers due
  • 11th July
  • Extended: 20th July, 10am Miami time
  • 12th September
  • 29th September
  • 26th September
  • 24th October
  • 7th November

Questions related to submission may be sent to the program chairs.


Jamaica ... Land of LPAR and Reggae