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 on Spetses, Greece, 25-30 October 2026.
Pre-Conference Dates
|
| ||||||||||||||||||||
Conference Dates
|
|
Submission and Publication
Steering Committee
Andrei Voronkov
Nikolaj Bjorner
Geoff Sutcliffe
Conference Organization
Geoff Sutcliffe (University of Miami) - Conference Chair
Lydia Kondylidou - Local Arrangements Chair