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 |
Important Dates
| Abstract submission deadline: | Extended to 06 June 2008 - STRICT! | |
| Paper submission deadline: | Extended to 16 June 2008 - STRICT! | |
| Notification of acceptance: | 29 August 2008 | |
| Camera-ready papers: | 19 September 2008 | |
| Short paper submission deadline: | 26 September 2008 | |
| LPAR'08 Workshops: | 22 November 2008 | |
| LPAR 2008: | 23-27 November 2008 |
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.