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

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
  • 7th May
  • 14th May
  • 10th July
  • 1st September
  • 25th September
  • 2nd October
  • 6th October

Questions related to submission may be sent to Miki Hermann or Andrei Voronkov.

Cambodia ... Land of LPAR and Temples