Event | When | Where | Deadline | |
VPT 2019 |
Seventh International Workshop on Verification and Program Transformation | |
Apr 2, 2019 - Apr 2, 2019 |
Genova, Italy |
Jan 8, 2019 (Dec 30, 2018) |
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 2021 |
Ninth International Workshop on Verification and Program Transformation | |
Mar 27, 2021 - Mar 28, 2021 |
Luxembourg |
Jan 10, 2021 (Jan 3, 2021) |
|