The International Conference on Logic for Programming, Artificial Intelligence and Reasoning (LPAR) is an academic conference aimed at discussing cutting-edge results in the fields of automated reasoning, computational logic, programming languages and their applications. Papers from previous proceedings are listed in DBLP. LPAR's slogan is "To boldly go where no reasonable conference has gone before". LPAR brings first class research and researchers to interesting places, and exposes the conference attendees to interesting cultures.
The 26th International Conference on Logic for Programming Artificial Intelligence and Reasoning (LPAR-26) will be held at the Anargyrios and Korgialenios School of Spetses, Spetses Island, Greece, 25-30 October 2026.
Pre-Conference Dates
|
| ||||||||||||||||||||||
Conference Dates
|
|
Submission and Publication
PC Chairs
- Erika Abraham RTWH Aachen
- Nikolaj Bjorner Microsoft Research
- Michael Rawson University of Southampton
Conference Organization
- Geoff Sutcliffe University of Miami - Conference Chair
- Lydia Kondylidou LMU Munich - Local Arrangements Chair