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 |
News!
- Regretably, Amir Pnueli informed us that he had to cancel his participation to LPAR'08 for personal reasons
- The proceedings of LPAR'08 have been published as LNCS volume 5330
- Registration is now open: please visit the LPAR'08 registration page.
- Travel grants have been awarded
- Call for short papers posted
- Call for participation posted
- Preliminary LPAR'08 program posted
Important Dates
| Short paper submission deadline: | 05 October 2008 |
| Travel grant application deadline: | 17 October 2008 (noon GMT+0) |
| Early registration deadline: | 03 November 2008 (23:59 GMT-11) |
| 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.