13 March 2026, PhD Defense, Johannes Kloibhofer
Candidate: Johannes Kloibhofer
Title: Cycles with Annotations: Non-Wellfounded Proof Theory of Modal Fixpoint Logics
Date: Friday 13 March 2026
Time: 11:00
Location: Aula, Oude Lutherse Kerk, Singel 411, Amsterdam
Promotor: Yde Venema
Copromotor: Bahareh Afshari
For more information,
contact Johannes Kloibhofer at j.kloibhofer at uva.nl.