Daniele Nantes, Carlos Olarte and Daniel Ventura. A subexponential view of domains in session types

Asta Halkjær From, Frederik Krogsdal Jacobsen and Jørgen Villadsen. SeCaV: A Sequent Calculus Verifier in Isabelle/HOL

Rafael Romero and Alejandro Díaz-Caro. A note on confluence in typed probabilistic lambda calculi

Juan Carlos Agudelo-Agudelo and Andrés Sicard-Ramírez. About Opposition and Duality in Paraconsistent Type Theory

Joel Felipe Gomes, Vitor Greati, Sérgio Marcelino, João Marcos and Umberto Rivieccio. On Logics of Perfect Paradefinite Algebras

Patricia Johann, Enrico Ghiorzi and Daniel Jeffries. GADTs, Functoriality, Parametricity: Pick Two

Mario Benevides and Luiz Fernandez. Tableaux Calculus for Dolev-Yao Multi-Agent Epistemic Logic

Pre-Proceedings