LOPSTR

’25

International Symposium on Logic-Based Program Synthesis and Transformation

SymposiumRende, ItalySeptember 9, 2025

Logic Programming
Program Synthesis

Dates & Deadlines

AbstractMay 23passed
PaperMay 30passed
NotificationJul 10passed
Camera-readyJul 17passed

Last updated May 17, 2026