[TYPES/announce] Second call for papers: VPT 2019, Seventh International Workshop on Verification and Program Transformation April 2nd 2019, Genova, Italy

[Lisitsa, Alexei]

[ The Types Forum (announcements only),
http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]