The 13th International Conference on Logic for Programming Artificial Intelligence and Reasoning (LPAR13) will be held 13th17th November 2006, at the Hotel Cambodiana, Phnom Penh, Cambodia. Submission of papers for presentation at the conference is now invited. Topics of interest include:


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 LPAR13 will be published by SpringerVerlag in the LNAI series. Authors of accepted full papers will be required to sign a form transferring copyright of their contribution to SpringerVerlag. The short paper proceedings of LPAR13 will be published by the conference.
Papers must be prepared using the SpringerVerlag 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:


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