Conference · International Conference on Logic for Programming, Artificial Intelligence and Reasoning
LPAR-26
Official page- Type
- Conference
- Organisation
- International Conference on Logic for Programming, Artificial Intelligence and Reasoning
- Location
- Spetses, Greece
- Submissions close
- 17 August 2026
- Takes place
- 25 October 2026 to 30 October 2026
- Found
- 26 September 2026
About this listing
International Conference on Logic for Programming, Artificial Intelligence and Reasoning. Submissions close 2026-08-17. Held in Spetses, Greece. Held at the Anargyrios and Korgialenios School of Spetses. Covers automated reasoning, computational logic, and programming languages. Topics: logic, theorem proving, programming languages. Listed by PLFM (https://pl-fm.github.io/, MIT).
Last checked 8 October 2026. Found via PLFM (pl-fm.github.io).