Program - ETAPS 2019

Detailed Table Session Timeline Detailed Timeline

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

Save

You're viewing the program in a time zone which is different from your device's time zone change time zone

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

09:00 - 10:30	Mechanising Proofs for Behavioural Types and ProcessesBEHAPI at S4 (BEHAPI) Chair(s): António Ravara NOVA University of Lisbon and NOVA LINCS

09:00 30m Talk		A Theory of Contexts for Higher-Order Encodings of Process Algebras BEHAPI Ivan Scagnetto University of Udine
09:30 30m Talk		Formalising session-typed languages without worries BEHAPI Wen Kokke University of Edinburgh
10:00 30m Talk		Adventures in Formalising the Meta-Theory of Session Types BEHAPI Francisco Ferreira Imperial College London

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

13:30 - 15:30	Behavioural Types for API-based softwareBEHAPI at S4 (BEHAPI) Chair(s): emilio tuosto University of Leicester

13:30 30m Talk		Mailbox Types for Unordered Interactions BEHAPI Ugo de'Liguoro Università di Torino, Luca Padovani University of Turin
14:00 30m Talk		A Behavioural Type System for Mungo with Generics BEHAPI A: Hans Hüttel Department of Computer Science, Aalborg University
14:30 30m Talk		A Virtual-Machine Metaobject Protocol for Run-Time Software Adaptation BEHAPI Guido Chari Czech Technical University, Czechia
15:00 30m Talk		Hardware Interactions as Behavioural Types. BEHAPI Francisco Martins University of Lisbon

16:00 - 18:00	BehAPI Business MeetingBEHAPI at S4 (BEHAPI) Chair(s): Adrian Francalanza University of Malta

16:00 60m Talk		BehAPI Practices BEHAPI Caroline Caruana University of Malta
17:00 60m Meeting		BehAPI Year 1 Review and Year 2 projections BEHAPI Adrian Francalanza University of Malta

BEHAPI 2019 Program

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

ETAPS 2019

Co-hosted Conferences

Workshops

BEHAPI 2019 Program

Switch Program View

Program Display Configuration

Sat 6 AprDisplayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

Get Calendar (iCal)

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