CFP Categories

Program and model manipulation Call for Papers

CFP DatesLocation
LOPSTR 2025 : Logic-based Program Synthesis and TransformationSep 09, 2025 - Sep 10, 2025Rende, Italy

Recent Blog Posts


CFP by Country