ETAPS 2019
Sat 6 - Thu 11 April 2019 Prague, Czech Republic

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

11:00 - 12:00
Mechanising Proofs of Behavioural Types for APIsBEHAPI at S4 (BEHAPI)
Chair(s): Luca PadovaniUniversity of Turin
11:00
20m
Talk
Proving properties about Linear Pi in Coq
BEHAPI
Antonio RavaraNOVA University of Lisbon and NOVA LINCS, Marco GiuntiNOVA-LINCS, FCT NOVA / Universidade Nova de Lisboa
11:20
20m
Talk
Binary Session Types in Coq
BEHAPI
Ornela DardhaUniversity of Glasgow
11:40
20m
Talk
Mechanise your proofs in Coq: From zero to cut-admissibility in less than three months.
BEHAPI
Marco CarboneIT University of Copenhagen