"Logic as a modelling technology: resource semantics, systems modelling, and security" [Abstract] [Slides]
"An Epistemic Resource Logic Based on Boolean BI" [Abstract]
"Syntactic Decidability and Complexity Upper Bound for the Logic of Bunched Implication BI" [Abstract] [Slides]
"Mechanising Undecidability Results in Coq: Elementary Linear Logic and Boolean BI" [Abstract] [Slides]
"A proof-theoretic approach to abstract interpretation" [Abstract]
"Propositions as Sessions" [Abstract] [Slides]
"The Challenge of Typed Expressiveness in Concurrency" [Abstract]
"Security and Privacy by Typing in Cryptographic Systems" [Abstract] [Slides]
"A Substructural Modal Type Theory to Handle Mobility Failures in Distributed Computing" [Abstract] [Slides]
"Logic-based Concurrent λ-Calculi" [Abstract]
"The Archimedean Property: New Horizons and Perspectives" (joint work with Antonio Ledda and Constantine Tsinakis) [Abstract]
"The Amalgamation Property for Semilinear Commutative Idempotent Residuated Lattices" [Abstract] [Slides]
"On an Equivalence between Integral and Involutive Residuated Structures" [Abstract] [Slides]
"The Classification of All the Subvarieties of DNMG" [Abstract] [Slides]
"Dualities for Plonka Sums of Algebras" [Abstract] [Slides]
"Structural Rules for Multi-valued Logics" [Abstract] [Slides]
"Logics of Variable Inclusion" [Abstract] [Slides]
"Mix ⋆-Autonomous Quantales and the Continuous Weak Bruhat Order" [Abstract]
"A Refutation Calculus for Intuitionistic Logic" [Abstract]
"Purely Relevant Logics with Contraction and Its Converse" [Abstract] [Slides]
"An Abstract Approach to Consequence Relations II" [Abstract] [Slides]
Address: Schönbrunner Str. 20, 1050 Wien
Directions: Take the U4 metro line to the Station Pilgramgasse (travelling from the workshop venue, take the U4 from the nearby Station Roßauer Lände in the direction of Hütteldorf). Exit the metro station and walk along Pilgramgasse for 140m (if you cross the Wien river, then you are walking in the wrong direction!) and take a left at Schönbrunner Strasse. Walk for 250m and the restaurant will be on your left.
"A proof theory for dual nominal quantifiers" [Abstract] [Slides]
"On the Normalization of Combinatorial Proofs for Classical and Intuitionistic Logic" [Abstract]
"Subatomic Proof Systems" [Abstract] [Slides]
"Internal and Labelled Sequent Calculi: An Equivalence Result for Conditional Logic V" [Abstract]
"Fast Cut-elimination for Intuitionistic Logic" [Abstract]
"Measurable Kleene Algebras and Structural Control" [Abstract] [Slides]
" A unified view of modal and substructural logics" [Abstract] [Slides]
"Hybrid Linear Logic, Revisited" [Abstract] [Slides]
"Proper Display Calculus for First-order Logic" [Abstract]
"Formalized Meta-theory of Sequent Calculi for Substructural Logics" [Abstract]
"Remarks on the Exponential Rules in Linear Logic" [Abstract] [Slides]