International Workshop on Verification and Program Transformation (VPT)

7th VPT@Programming 2019: Genova, Italy

3rd MARS / 6th VPT@ETAPS 2018: Thessaloniki, Greece

5th VPT@ETAPS 2017: Uppsala, Sweden

4th VPT@ETAPS 2016: Eindhoven, The Netherlands

3rd VPT@ETAPS 2015: London, UK

2nd VPT@CAV 2014: Vienna, Austria

1st VPT@CAV 2013: Saint Petersburg, Russia

a service of Schloss Dagstuhl - Leibniz Center for Informatics