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 2008 edition will be held in Doha, Qatar, on the premises of the Qatar campus of Carnegie Mellon University.
Invited Speakers
| 2007 Turing Award Recipient | 1996 Turing Award Recipient |
Sponsorship
For information on exhibition and sponsorship opportunities at the conference, contact Iliano Cervesato at
Press and Media
For media-related inquiries, contact Noha Al Afifi at
Please send email to for any additional information.