Proving properties about Linear Pi in Coq (BEHAPI 2019 - Workshop on Behavioural APIs) - ETAPS 2019

Sat 6 - Thu 11 April 2019 Prague, Czech Republic

Who

António Ravara, Marco Giunti

Track

Time Zone

The program is currently displayed in (GMT+02:00) Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna.

Use conference time zone: (GMT+02:00) Amsterdam, Berlin, Bern, Rome, Stockholm, ViennaSelect other time zone

The GMT offsets shown reflect the offsets at the moment of the conference.

Time Band

By setting a time band, the program will dim events that are outside this time window. This is useful for (virtual) conferences with a continuous program (with repeated sessions).
The time band will also limit the events that are included in the personal iCalendar subscription service.

Display full programSpecify a time band

When

Sat 6 Apr 2019 11:00 - 11:20 at S4 (BEHAPI) - Mechanising Proofs of Behavioural Types for APIs Chair(s): Luca Padovani

António Ravara

NOVA University of Lisbon and NOVA LINCS

Portugal

Marco Giunti

NOVA-LINCS, FCT NOVA / Universidade Nova de Lisboa

Time Zone

The program is currently displayed in (GMT+02:00) Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna.

Use conference time zone: (GMT+02:00) Amsterdam, Berlin, Bern, Rome, Stockholm, ViennaSelect other time zone

The GMT offsets shown reflect the offsets at the moment of the conference.

Time Band

By setting a time band, the program will dim events that are outside this time window. This is useful for (virtual) conferences with a continuous program (with repeated sessions).
The time band will also limit the events that are included in the personal iCalendar subscription service.

Display full programSpecify a time band

Session Program

Sat 6 Apr
Displayed 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 Padovani University of Turin

	11:00 20m Talk		Proving properties about Linear Pi in Coq BEHAPI António Ravara NOVA University of Lisbon and NOVA LINCS, Marco Giunti NOVA-LINCS, FCT NOVA / Universidade Nova de Lisboa
	11:20 20m Talk		Binary Session Types in Coq BEHAPI Ornela Dardha University of Glasgow
	11:40 20m Talk		Mechanise your proofs in Coq: From zero to cut-admissibility in less than three months. BEHAPI Marco Carbone IT University of Copenhagen