ETAPS 2019
Sat 6 - Thu 11 April 2019 Prague, Czech Republic
VenueCharles University
Room nameS4 (BEHAPI)
Floor0
Room number
Capacity0
Additional informationThere is no additional information of this room available.
Program

Sat 6 Apr

behapi-2019-papers
09:00 - 10:30: BEHAPI - Mechanising Proofs for Behavioural Types and Processes at S4 (BEHAPI)
Chair(s): Antonio RavaraNOVA University of Lisbon and NOVA LINCS
behapi-2019-papers09:00 - 09:30
Talk
Ivan ScagnettoUniversity of Udine
behapi-2019-papers09:30 - 10:00
Talk
Wen KokkeUniversity of Edinburgh
behapi-2019-papers10:00 - 10:30
Talk
Francisco FerreiraImperial College London
behapi-2019-papers
11:00 - 12:00: BEHAPI - Mechanising Proofs of Behavioural Types for APIs at S4 (BEHAPI)
Chair(s): Luca PadovaniUniversity of Turin
behapi-2019-papers11:00 - 11:20
Talk
Antonio RavaraNOVA University of Lisbon and NOVA LINCS, Marco GiuntiNOVA-LINCS, FCT NOVA / Universidade Nova de Lisboa
behapi-2019-papers11:20 - 11:40
Talk
Ornela DardhaUniversity of Glasgow
behapi-2019-papers11:40 - 12:00
Talk
Marco CarboneIT University of Copenhagen
behapi-2019-papers
13:30 - 15:30: BEHAPI - Behavioural Types for API-based software at S4 (BEHAPI)
Chair(s): emilio tuostoUniversity of Leicester
behapi-2019-papers13:30 - 14:00
Talk
Ugo de'LiguoroUniversità di Torino, Luca PadovaniUniversity of Turin
behapi-2019-papers14:00 - 14:30
Talk
Hans HüttelDepartment of Computer Science, Aalborg University
behapi-2019-papers14:30 - 15:00
Talk
Guido ChariCzech Technical University, Czechia
behapi-2019-papers15:00 - 15:30
Talk
Francisco MartinsUniversity of Lisbon
behapi-2019-papers
16:00 - 18:00: BEHAPI - BehAPI Business Meeting at S4 (BEHAPI)
Chair(s): Adrian FrancalanzaUniversity of Malta
behapi-2019-papers16:00 - 17:00
Talk
Caroline CaruanaUniversity of Malta
behapi-2019-papers17:00 - 18:00
Meeting
Adrian FrancalanzaUniversity of Malta

Sat 6 Apr 2019