2025
On Explicit Solutions to Fixed-Point Equations in Propositional Dynamic Logic (FSEN, Västerås, Sweden) [Slides]
On Explicit Solutions to Fixed-Point Equations in Propositional Dynamic Logic (Research Seminar Logic and AI, Dresden, Germany) [Slides]
Unifying Sequent Systems for Gödel-Löb Provability Logic via Syntactic Transformations (Universität Bern, Switzerland) [Slides]
Unifying Sequent Systems for Gödel-Löb Provability Logic via Syntactic Transformations (CSL, Amsterdam, Netherlands) [Slides]
2024
Foundations for an Abstract Proof Theory in the Context of Horn Rules (The Art of Proofs, Bologna, Italy) [Slides]
2023
Nested Sequents for Quantified Modal Logics (TABLEAUX, Prague, Czech Republic) [Slides]
Connecting Proof Theory and Knowledge Representation: Sequent Calculi and the Chase with Existential Rules (KR, Rhodes, Greece) [Slides]
2022
Nested Sequents for First-Order Modal Logics via Reachability Rules (Research Seminar Logic and AI, Dresden, Germany) [Slides]
Proof-theoretical Characterizations of Existential Rule Classes with Bounded-treewidth (TICAMORE Workshop VIII, Virtual / Vienna, Austria) [Slides]
An Introduction to Proof Theory II: More on the Sequent Calculus (Research Seminar Logic and AI, Dresden, Germany) [Slides] [Video]
2021
Derivation Graphs, Greediness, and Bounded-treewidth in the Context of Existential Rules (Decidable Fragments of Horn First-Order Logic Seminar organized by the Action Transverse Logique at the LIRMM, Montpellier, France) [Slides]
A Framework for Intuitionistic Grammar Logics (CLAR, Virtual / Hangzhou, China) [Slides] [Video]
Nested Sequents for Intuitionistic Modal Logics via Structural Refinement (TABLEAUX, Virtual / Birmingham, UK)
Nested Sequents for Intuitionistic Modal Logics via Structural Refinement (TICAMORE Workshop VII, Virtual / Vienna, Austria) [Slides] [Video]
An Introduction to Proof Theory I: Sequent Calculus (Research Seminar Logic and AI, Dresden, Germany) [Slides] [Video]
2020
The Method of Refinement: Deriving Proof-Calculi from Semantics for Multi-Modal Logics (KBS Seminar, Dresden, Germany) [Slides]
Syntactic Interpolation for Tense Logics and Bi-Intuitionistic Logic via Nested Sequents (CSL, Barcelona, Spain) [Slides]
On Deriving Nested Calculi for Intuitionistic Logics from Semantic Systems (LFCS, Deerfield Beach, Florida, USA) [Slides]
Syntactic Cut-Elimination for Intuitionistic Fuzzy Logic via Linear Nested Sequents (LFCS, Deerfield Beach, Florida, USA)
2019
On Deriving Nested Calculi for Intuitionistic Logics from Semantic Systems (TICAMORE Workshop V, Vienna, Austria) [Slides]
Automating Agential Reasoning: Proof-Calculi and Syntactic Decidability for STIT Logics (PRIMA, Turin, Italy) [Slides]
Cut-free Calculi and Relational Semantics for Temporal STIT Logics (JELIA, Rende, Italy) [Slides]
2018
Effective Translations between Display and Labelled Calculi for Tense Logics (Australian National University, Canberra, Australia) [Slides]
Tense Logics, Structural Proof Theory, and Effective Translations (University of Melbourne, Melbourne, Australia) [Slides]
Tense Logics, Structural Proof Theory, and Effective Translations (University of Denver, Denver, Colorado, USA) [Slides]
Effective Translations between Display and Labelled Calculi for Tense Logics (EICNCL, Oxford, UK) [Slides]
Internalizing Labelled Proofs for Tense Logics with Path Axioms (TICAMORE Workshop III, Nancy, France)
Mutual Translations between Display and Labelled Calculi for Tense Logics (LFCS, Deerfield Beach, Florida, USA) [Slides]
2017
Mutual Translations between Display and Labelled Calculi for Tense Logics (TICAMORE Workshop II, Marseilles, France) [Slides]
Translations between Internal and External Modal Calculi (International Summer School for Proof Theory in First-Order Logic, Funchal, Madeira, Portugal)
Translating from Labeled Calculi to Display Calculi (TICAMORE Workshop I, Vienna, Austria) [Slides]