Slides

Anja Petković Komel

The essence of type-theoretic elaboration

Elena Di Lavore and Pawel Sobocinski

Monoidal Width

Ana Oliveira Da Costa

Hypertrace Logic

Alba Cuenca

A goal-oriented proof system for epistemic modal logic

Harley Eades III, Victoria Vollmer, Daniel Marshall and Dominic Orchard

A Mixed Linear and Graded Logic-Extended Abstract

Paola Cattabriga

A note on Türing 1936

Tephilla Prince

Two Dimensional Bounded Model Checking for Unbounded Client-Server Systems

Kristina Asimi, Libor Barto and Silvia Butti

Fixed-Template Promise Model Checking Problems