‹Programming› 2019
Mon 1 - Thu 4 April 2019 Genoa, Italy
Tue 2 Apr 2019 09:00 - 10:00 at Verdi - Session 1

Tue 2 Apr

Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

08:55 - 10:30
Session 1VPT at Verdi
08:55
5m
Day opening
Welcome
VPT
Alexei Lisitsa University of Liverpool , Andrei Nemytykh Program Systems Institute of RAS, Russia
09:00
60m
Talk
Modelling and verifying Bitcoin contracts.VPT Invited Talk
VPT
10:00
30m
Talk
Polyvariant Program Specialisation with Property-Based Abstraction
VPT
John P. Gallagher Roskilde University