About the Curry-Howard correspondence (Moriconi) [slides]
An introduction to type logical grammars (Catta)
Automated reasoning and proof assistants for mathematics (Koutsoukou-Argyraki) [slides]
Dialogical logic, old and new (McConaughey) [slides]
Inferentialism and its problems (Cozzo) [slides]
Meaning explanations and dialogues (Klev) [slides]
Model-theoretic inferentialism and categoricity (Brîncus) [slides]
Proof-theoretic harmony (Pistone-Tranchini)