Symposium

LOPSTR+PPDP

’26

Symposium on Logic-Based Program Synthesis and Transformation, and Symposium on Principles and Practice of Declarative Programming

Indianapolis, United StatesAugust 27 – 29, 2026

Logic Programming
Program Synthesis

Dates & Deadlines

AbstractMay 20passed
PaperMay 31passed
NotificationJun 26passed
Camera-readyJul 810d

Co-located with

ICFPInternational Conference on Functional ProgrammingAug 24 – 29, 2026

Last updated Jun 8, 2026