Seventh International Workshop on
Verification and Program Transformation
The Seventh International Workshop on Verification and Program Transformation (VPT-2019) aims to bring together researchers working in two different areas, Verification and Program Transformation. VPT 2019 will be a Programming 2019 Workshop and held on April 2nd, 2019, Genova, Italy.
The workshop will provide a forum where all interactions of the two fields can be presented and discussed.
Emanuele De Angelis, Fabio Fioravanti, Alberto Pettorossi, Maurizio Proietti.
Vincenzo Arceri, Isabella Mastroeni.
John P. Gallagher.
Isaac Oscar Gariano, Marco Servetto, Alex Potanin, Hrshikesh Arora.
Nikolay V. Shilov.