| Event | When | Where | Deadline | |
LOPSTR 2025 |
Logic-based Program Synthesis and Transformation | |
| Sep 9, 2025 - Sep 10, 2025 |
Rende, Italy |
May 16, 2025 (May 9, 2025) |
| Expired CFPs |
| LOPSTR 2024 |
LOPSTR 2024 -- Deadline extended to May 19th | |
| Sep 9, 2024 - Sep 11, 2024 |
Milan, Italy |
May 19, 2024 (May 15, 2024) |
| LOPSTR 2023 |
33rd International Symposium on Logic-based Program Synthesis and Transformation | |
| Oct 23, 2023 - Oct 24, 2023 |
Cascais, Portugal |
May 26, 2023 (May 19, 2023) |
|
