LiVe 2019
Sat 6 - Thu 11 April 2019 Prague, Czech Republic
co-located with ETAPS 2019
ETAPS 2019 (series) / LiVe 2019 (series) / Charles University /

Room information: S4 (BEHAPI)

VenueCharles University
Room nameS4 (BEHAPI)
Floor0
Room InformationNo extra information available
Program

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

Sat 6 Apr

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

Room9:003010:003011:003012:003013:003014:003015:003016:003017:0030
S4 (BEHAPI)

BEHAPI

Mechanising Proofs for Behavioural Types and Processes

BEHAPI

Mechanising Proofs of Behavioural Types for APIs

BEHAPI

Behavioural Types for API-based software

BEHAPI

BehAPI Business Meeting

Sat 6 Apr

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

Room9:0015304510:0015304511:0015304512:0015304513:0015304514:0015304515:0015304516:0015304517:00153045
S4 (BEHAPI)
BEHAPI
A Theory of Contexts for Higher-Order Encodings of Process Algebras
09:00 - 09:30
BEHAPI
Formalising session-typed languages without worries
09:30 - 10:00
BEHAPI
Adventures in Formalising the Meta-Theory of Session Types
10:00 - 10:30
BEHAPI
Proving properties about Linear Pi in Coq
11:00 - 11:20
BEHAPI
Binary Session Types in Coq
11:20 - 11:40
BEHAPI
Mechanise your proofs in Coq: From zero to cut-admissibility in less th ...
11:40 - 12:00
BEHAPI
Mailbox Types for Unordered Interactions
13:30 - 14:00
BEHAPI
A Behavioural Type System for Mungo with Generics
14:00 - 14:30
BEHAPI
A Virtual-Machine Metaobject Protocol for Run-Time Software Adaptation
14:30 - 15:00
BEHAPI
Hardware Interactions as Behavioural Types.
15:00 - 15:30
BEHAPI
BehAPI Practices
16:00 - 17:00
BEHAPI
BehAPI Year 1 Review and Year 2 projections
17:00 - 18:00