| 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) |
| HCVS 2023 |
10th Workshop on Horn Clauses for Verification and Synthesis (HCVS) Co-located with ETAPS 2023 | |
| Apr 23, 2023 - Apr 23, 2023 |
Paris, France |
Mar 8, 2023 |
| HCVS 2022 |
9th Workshop on Horn Clauses for Verification and Synthesis | |
| Apr 3, 2022 - Apr 3, 2022 |
Munich, Germany |
Feb 13, 2022 |
| LOPSTR 2017 |
27th International Symposium on Logic-Based Program Synthesis and Transformation | |
| Oct 10, 2017 - Oct 12, 2017 |
Namur, Belgium |
Jun 13, 2017 (Jun 6, 2017) |
|
