Conference

LPAR

’26

International Conference on Logic for Programming, Artificial Intelligence and Reasoning

Spetses, GreeceOctober 25 – 30, 2026

Logic
Theorem Proving

Dates & Deadlines

AbstractJun 3passed
PaperJun 21passed
NotificationAug 3passed
Camera-readySep 174w

Notes

26th edition (LPAR-26)
Separate LPAR-shorts track with rolling decisions: submission August 17, notification September 3, 2026

Co-located with

IWILInternational Workshop on the Implementation of LogicsOct 25, 2026

Last updated Aug 15, 2026