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

Tue 2 Apr
Times are displayed in time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

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