| Event | When | Where | Deadline | |
| 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) |
| VPT 2020 |
Eighth International Workshop on Verification and Program Transformation | |
| Apr 25, 2020 - Apr 26, 2020 |
Dublin, Ireland |
Jan 20, 2020 (Jan 13, 2020) |
| VPT 2019 |
Seventh International Workshop on Verification and Program Transformation | |
| Apr 2, 2019 - Apr 2, 2019 |
Genova, Italy |
Jan 8, 2019 (Dec 30, 2018) |
| GPCE 2017 |
16th International Conference on Generative Programming: Concepts & Experiences | |
| Oct 23, 2017 - Oct 24, 2017 |
Vancouver, Canada |
Jul 2, 2017 (Jun 25, 2017) |
| 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) |
| SATToSE 2017 |
10th Seminar Series on Advanced Techniques & Tools for Software Evolution | |
| Jun 7, 2017 - Jun 9, 2017 |
Madrid, Spain |
Apr 14, 2017 |
| VPT 2017 |
Fifth International Workshop on Verification and Program Transformation | |
| Apr 29, 2017 - Apr 29, 2017 |
Uppsala |
Feb 6, 2017 (Jan 31, 2017) |
| LOPSTR 2016 |
26th International Symposium on Logic-Based Program Synthesis and Transformation | |
| Sep 6, 2016 - Sep 8, 2016 |
Edinburgh, UK |
Jun 27, 2016 (Jun 20, 2016) |
| VPT 2016 |
Fourth International Workshop on Verification and Program Transformation | |
| Apr 2, 2016 - Apr 2, 2016 |
Eindhoven, Netherlands |
Jan 18, 2016 (Jan 11, 2016) |
| WPTE 2015 |
Second International Workshop on Rewriting Techniques for Program Transformations and Evaluation | |
| Jul 2, 2015 - Jul 2, 2015 |
Warsaw, Poland |
Apr 17, 2015 |
| VPT 2015 |
3rd International Workshop on Verification and Program Transformation | |
| Apr 11, 2015 - Apr 11, 2015 |
London, UK |
Feb 6, 2015 (Jan 16, 2015) |
| TTC 2014 |
Transformation Tool Contest | |
| Jul 25, 2014 - Jul 25, 2014 |
York, United Kingdom |
Apr 23, 2014 |
| WPTE 2014 |
First International Workshop on Rewriting Techniques for Program Transformations and Evaluation | |
| Jul 13, 2014 - Jul 13, 2014 |
Vienna |
Apr 15, 2014 |
| LOPSTR 2013 |
23rd International Symposium on Logic-Based Program Synthesis and Transformation | |
| Sep 18, 2013 - Sep 20, 2013 |
Madrid, Spain |
Jun 11, 2013 (Jun 4, 2013) |
| VPT 2013 |
First International Workshop on Verification and Program Transformation | |
| Jul 13, 2013 - Jul 14, 2013 |
Saint Petersburg, Russia |
Apr 2, 2013 |
