Schedule

All times are at Central European Summer Time (CEST)

9.45 – 10.00

Welcome to VEST'21

Ornela Dardha and António Ravara

10.00 – 11.00

Tutorial: A Gentle Adventure Mechanising Message Passing Concurrency Systems

(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

(Chair: Laura Bocchi)

Luca Ciccone and Luca Padovani

12.10 – 12.50

Co-Contextual Typing Inference for the Linear π-Calculus in Agda

(Chair: Laura Bocchi)

Uma Zalakain and Ornela Dardha

Lunch Break 12.50 – 14.00

14.00 – 15.00

Invited talk: Beyond Regular Session Types

(Chair: António Ravara)

Andreia Mordido

15.00 – 15.40

Mechanized Deadlock Freedom for Session Types

(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

(Chair: Ornela Dardha)

Jesper Bengtson

17.00 – 17.15

Short Talk: Formalising Choreographic Programming

(Chair: Luca Padovani)

Luís Cruz-Filipe, with Fabrizio Montesi and Marco Peressotti

17.15 – 17.30

Short Talk: The MECHANIST project

(Chair: Luca Padovani)

Marco Carbone

17.30

Farewell to VEST'21

Ornela Dardha and António Ravara