Optimal Proofs
Skip to content
Invited Talks
2018
- Workshop of the Proof Society, Ghent
2019
- Summer School of the Proof Society
- Workshop on Algebraic and Proof Theoretic Methods in Non-Classical Logic
- Workshop on Admissible Rules and Unification
- ASL 2019 Annual North American Meeting
2020
- IX Workshop on Philosophical Logic
- Applied Proof Theory Workshop
2021
- Logic Online Seminar Moscow
- Leeds-Ghent Virtual Seminar
- EXPRESS/PhilMath Seminar
- Annual North American ASL Meeting 2021, special session Algebraic Logic
- Logica 2021
- Geometric Logic, Constructivisation, and Automated Theorem Proving
2022
- Computer Science Logic
- Logic Colloquium – UConn Logic Group
- Summer School ANU
Online
