Event | When | Where | Deadline | |
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) |
VPT 2015 |
3rd International Workshop on Verification and Program Transformation | |
Apr 11, 2015 - Apr 11, 2015 |
London, UK |
Feb 6, 2015 (Jan 16, 2015) |
HCVS 2019 |
6th Workshop on Horn Clauses for Verification and Synthesis | |
Apr 7, 2019 - Apr 7, 2019 |
Prague, Czech Republic |
Feb 15, 2019 |
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 |
|