CFP Categories
Program and model manipulation Call for Papers
CFP | Dates | Location |
---|---|---|
LOPSTR 2025 : Logic-based Program Synthesis and Transformation | Sep 09, 2025 - Sep 10, 2025 | Rende, Italy |
CFP | Dates | Location |
---|---|---|
LOPSTR 2025 : Logic-based Program Synthesis and Transformation | Sep 09, 2025 - Sep 10, 2025 | Rende, Italy |