TU Darmstadt Mathematics Seminar. February 4th. Large Infinities and Ordinal Definability.
19th Panhellenic Symposium on Mathematical Analysis. Athens, December 18th–20th, 2025. Integer Games of Transfinite Length.
Computational Platonic Space Conference, cyberspace (hosted by Tufts University) November 11, 2025. The mathematical conception of Platonism: a modern perspective.
XVIII Luminy Workshop on Set Theory. Luminy. November 3–7, 2025. Exacting cardinals.
Logic Colloquium of the University of Vienna. September 16th, 2025. Local Hanf-Tarski numbers.
Simons Summer School in Mathematics. Vienna, September 14–21, 2025. Gödel's incompleteness theorems.
Invited speaker at the Proof Society Meeting. Ghent University. September 1–5, 2025. The norms of RCA0.
Förderungspreis Award Ceremony. Meeting of the Austrian Mathematical Society. Linz, September 1–5, 2025. Large infinities and ordinal definability.
TU Wien Algebra Seminar. May 16, 2025. Ex-logic.
ITAM Mathematics Seminar, Mexico City. April 25, 2025. The Reverse Mathematics of Lusin's Theorem.
Post-Arctic Set Theory Workshop Workshop. University of Helsinki. February 2025. Ultraexacting cardinals and the HOD Conjecture.
Arctic Set Theory Workshop. Kilpisjärvi. February 2025. Local Hanf-Tarski numbers.
Logic seminar. University of Hamburg. January 31, 2025. Local Hanf-Tarski numbers.
Computer Science seminar. University of Innsbruck. January 16, 2025. Fundamental Logic.
Theoretical Computer Science seminar. University of Innsbruck. January 15, 2025. Model theory of Gödel logics.