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 an 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.

A number of pictures from the workshop:

The VPT-2019 Proceedings have been published as Volume 299 of Electronic Proceedings in Theoretical Computer Science.

Hotel Bristol Palace, Genova
Room: Verdi room
Piazza Raffaele de Ferrari,
the next direction is
Via XX Settembre, 35, 16121 Genova GE

   Tuesday, April 2


  Registration will take place at Registration (Lobby)




    Massimo Bartoletti (University of Cagliari, Italy). Modelling and verifying Bitcoin contracts. Massimo_Bartoletti_VPT-2019_abstract.pdf (slides: VPT2019-Bartoletti_presentation.pdf )  (Invited talk)


    John P. Gallagher. Polyvariant Program Specialisation with Property-Based Abstraction. (preprint VPT2019_paper_5.pdf , slides: VPT2019-Gallagher_presentation.pdf )


  Coffee Break


    Giorgio Delzanno (DIBRIS, Università di Genova, Italy) Validation of Internet of Things Frameworks. Giorgio_Delzanno_VPT-2019_abstract.pdf  (Invited talk)


    Emanuele De Angelis, Fabio Fioravanti, Alberto Pettorossi, Maurizio Proietti. Lemma Generation for Horn Clause Satisfiability: A Preliminary Study. (preprint VPT2019_paper_9.pdf , slides: VPT2019-Pettorossi_De-Angelis_Fioravanti_Proietti_presentation.pdf )




    Roberto Giacobazzi (Università di Verona, Italy) Hacking program analysis: a systematic approach to code protection. Roberto_Giacobazzi_VPT-2019_abstract.pdf  (Invited talk)


    Vincenzo Arceri, Isabella Mastroeni. Static Program Analysis for String Manipulation Languages. (preprint VPT2019_paper_2.pdf , slides: VPT2019-Arceri_Mastroeni_presentation.pdf )


  Coffee Break


    Isaac Oscar Gariano, Marco Servetto, Alex Potanin, Hrshikesh Arora. Iteratively Composing Statically Verified Traits. (preprint VPT2019_extended_abstract_preprint_8.pdf , slides: VPT2019-Servetto_Gariano_Potanin_Arora_presentation.pdf )


    Antonina Nepeivoda. Verifying String Replacing Procedures by Supercompilation. (preprint VPT2019_extended_abstract_preprint_3.pdf , slides: VPT2019-Antonina-Nepeivoda_presentation.pdf )



Alexei Lisitsa,
Andrei P. Nemytykh,