Rules and models (Brîncus)
Proof-theoretical aspects of the Lambek calculus (Catta)
Meaning and inference (Cozzo)
Justifying elimination rules (Klev)
What, if anything, are meaning explanations good for? (Klev)
Archive of formal proofs (Koutsoukou-Argyraki)
Isabelle (Koutsoukou-Argyraki)
Aristotle’s logic from a dialogical perspective (McConaughey)
The dialogical framework (McConaughey)
Curry-Howard correspondence (Moriconi)
An intutionistic Sheffer's stroke (Pistone-Tranchini)
Paradox and normalisation failure (Pistone-Tranchini)