Schedule
All times are at Central European Summer Time (CEST)
9.45 – 10.00
Welcome to VEST'21
Welcome to VEST'21
Ornela Dardha and António Ravara
10.00 – 11.00
Tutorial: A Gentle Adventure Mechanising Message Passing Concurrency Systems
Tutorial: A Gentle Adventure Mechanising Message Passing Concurrency Systems
(Chair: Ornela Dardha)
(Chair: Ornela Dardha)
David Castro-Perez, Francisco Ferreira-Ruiz, and Lorenzo Gheri
Tea/Coffee Break 11.00 – 11.30
11.30 – 12.10
Inference Systems with Corules for Fair Subtyping and Liveness Properties of Binary Session Types
Inference Systems with Corules for Fair Subtyping and Liveness Properties of Binary Session Types
(Chair: Laura Bocchi)
(Chair: Laura Bocchi)
Luca Ciccone and Luca Padovani
12.10 – 12.50
Co-Contextual Typing Inference for the Linear π-Calculus in Agda
Co-Contextual Typing Inference for the Linear π-Calculus in Agda
(Chair: Laura Bocchi)
(Chair: Laura Bocchi)
Uma Zalakain and Ornela Dardha
Lunch Break 12.50 – 14.00
14.00 – 15.00
Invited talk: Beyond Regular Session Types
Invited talk: Beyond Regular Session Types
(Chair: António Ravara)
(Chair: António Ravara)
Andreia Mordido
15.00 – 15.40
Mechanized Deadlock Freedom for Session Types
Mechanized Deadlock Freedom for Session Types
(Chair: Kirstin Peters)
(Chair: Kirstin Peters)
Jules Jacobs, Stephanie Balzer and Robbert Krebbers
Tea/Coffee Break 15.40 – 16.00
16.00 – 17.00
Invited talk: Asynchronous Session-Type Based Reasoning in Separation Logic
Invited talk: Asynchronous Session-Type Based Reasoning in Separation Logic
(Chair: Ornela Dardha)
(Chair: Ornela Dardha)
Jesper Bengtson
17.00 – 17.15
Short Talk: Formalising Choreographic Programming
Short Talk: Formalising Choreographic Programming
(Chair: Luca Padovani)
(Chair: Luca Padovani)
Luís Cruz-Filipe, with Fabrizio Montesi and Marco Peressotti
17.15 – 17.30
Short Talk: The MECHANIST project
Short Talk: The MECHANIST project
(Chair: Luca Padovani)
(Chair: Luca Padovani)
Marco Carbone
17.30
Farewell to VEST'21
Farewell to VEST'21
Ornela Dardha and António Ravara