17th International Conference on

Logic for Programming, Artificial Intelligence and Reasoning


The series of International Conferences on Logic for Programming, Artificial Intelligence and Reasoning (LPAR) is a forum where, year after year, some of the most renowned researchers in the areas of automated reasoning, computational logic, programming languages and their applications come to present cutting-edge results, to discuss advances in these fields, and to exchange ideas in a scientifically emerging part of the world. The 17th edition will be held in Yogyakarta, Indonesia.


Welcome to 17th LPAR Conference!

Our mission:

to boldly go where no reasonable conference has gone before.

Yogyakarta, Indonesia

October 10th - 15th, 2010


  1. -

  2. -Location information about the workshop venue is now online

  3. -The detailed schedule has been revised

  4. -A preliminary detailed schedule is now online

  5. -Information about the excursion is now online

  6. -The list of accepted short papers is now online

  7. -Rooms at Hyatt Regency are booked out on 9 October; alternatives are listed on the Accommodation page

  8. -Early registration is possible until 15 September!

  9. -The registration is now open.

  10. -Currently there are technical problems with the registration page.
    We hope to have this problem fixed very soon and apologize for the inconvenience caused.

  11. -The information on Accommodation and Registration for the conference is now available.
    Please also visit Traveling to Yogyakarta page for visa information.

  12. -The submission page for short papers is open now.

  13. -The proceedings of LPAR-17 will appear in the prestigious ARCoSS subline of Springer LNCS.