LPAR

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

NEWS


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

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

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

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