Focus-style proofs for the two-way alternation-free mu-calculus
at WoLLIC, Hallifax, 12-07-2023. (slides)

An analytic proof system for Common Knowledge Logic over S5
at the LIRa Seminar, Amsterdam, 08-06-2023. (slides)

Focus-style proofs for the two-way alternation-free mu-calculus
at the GroLog Seminar, Groningen, 04-05-2023. (slides)

A cyclic proof system for Guarded Kleene Algebra with Tests
at the Proof Society Winter School, Utrecht, 11-11-2022. (slides, abstract)

Making infinitary annotated proofs concise
at the Proof Society Winter School, Madeira, 02-12-2021. (slides, abstract)

Cyclic hypersequent calculi for some modal logics with the master modality
at the Algebra|Coalgebra Seminar, Amsterdam, 29-09-2021. (slides)

Filtration and canonical completeness for continuous modal mu-calculi
at GandALF, Padua, 21-09-2021. (slides)

Cyclic hypersequent calculi for some modal logics with the master modality
at TABLEAUX, Birmingham, 07-09-2021.