| Event | When | Where | Deadline | | | Expired CFPs |
| LOPSTR 2021 |
31st International Symposium on Logic-Based Program Synthesis and Transformation | |
| Sep 7, 2021 - Sep 9, 2021 |
Tallinn, Estonia and Virtual |
Jun 25, 2021 |
| LOPSTR 2014 |
24th International Symposium on Logic-Based Program Synthesis and Transformation | |
| Sep 9, 2014 - Sep 11, 2014 |
University of Kent, Canterbury, UK |
Jun 18, 2014 (Jun 11, 2014) |
|
