FLOC 2022: FEDERATED LOGIC CONFERENCE 2022
SLIDES

Two Dimensional Bounded Model Checking for Unbounded Client-Server Systems

Ramchandra Phawade, Tephilla Prince and S Sheerazuddin

The Essence of Type-Theoretic Elaboration

Anja Petković Komel

Monoidal Width -- Extended Abstract

Elena Di Lavore and Pawel Sobocinski
Total: 3 presentations.