- Invited speaker at the conference on Topology, Algebra, and Categories in Logic. Barcelona, July 1–5, 2024.

*Pi12 Proof Theory.*

- Plenary speaker at the 30th Workshop on Logic, Language, Information, and Computation. Bern, June 12, 2024.

*Model Theory of Gödel Logic*.

- Tutorial at the 30th Workshop on Logic, Lauage, Information, and Computation. Bern, June 12, 2024.

*First-Order Gödel Logic*.

- Indian School of Logic and Applications. Goa, June 3–8, 2024.

Tutorial on*Infinite Game Theory.*

- Invited Speaker at the 17th International Conference on Computability, Complexity and Randomness. Nagoya, March 11–15, 2024.

*Determinacy in Second-Order Arithmetic.*

- Trends in Proof Theory 2024. February 7th, 2024.

*A new proof of Aanderaa's theorem.*

- Meeting of the Belgian Mathematical Society. December 20th, 2023.

*The smallest sigma-algebra closed under continuous functions.*

- Steklov Logic Online Seminar. December 11, 2023.

*Pi12 Proof-Theoretic Analysis, Part III.*

- Steklov Logic Online Seminar. December 4, 2023.

*Pi12 Proof-Theoretic Analysis, Part II.*

- TU Wien Computational Logic Seminar. November 29, 2023.

*The compactness number of Gödel logic.*

- Oberwolfach workshop "Mathematical Logic: Proof Theory, Constructive Mathematics." November 12–17, 2023.

*Determinacy and Pi1n-CA.*

- Steklov Logic Online Seminar. November 6, 2023.

*Pi12 Proof-Theoretic Analysis, Part I.*

- Workshop on Proof Theory, Modal Logic and Reflection Principles. Bern, Switzerland. October 31st–November 3rd, 2023.

*The correct-model interpretation of modal logic.*

- 5th Workshop on Digitalization and Computable Models. Astana, October 4, 2023.

*Determinacy in Second-Order Arithmetic.*

- Meeting of the German Mathematical Society. Ilmenau, September 25–28.

*Some results on Gödel logics.*

- British Logic Colloquium. Bristol, September 7–8, 2023.

*Some results on Gödel logics.*

- Hamburg Logic Seminar. June 2nd, 2023.

*Indiscernibility Spectra.*

- Talk at the Faculty of Mathematics and Geoinformation of TU Wien. April 28th, 2023.

*Functorial Proof Theory.*

- Computability Theory and Applications online seminar. April 4th, 2023.

*Determinacy in Second-Order Arithmetic.*

- Bristol logic seminar. March 22nd, 2023.

*A generalization of Borel Determinacy.*

- LSE Seminar on Games and Optimization. March 16th, 2023.

*Generalizations of Borel Determinacy.*

- Set Theory in the UK. Cambridge, March 2023.

*Non-linearities in the analytical hierarchy.*

- Arctic Set Theory Workshop. Kilpisjärvi, February 2023.

*Winning strategies for Borel games.*

- Leeds Logic Seminar. February 2023.

*Non-linearities in the analytical hierarchy.*

- Warsaw Logic Seminar. January 2023.

*Pi12 Proof Theory.*

- Trends in Proof Theory. Ghent. January 2023.

*The Pi12 Soundness Ordinal.*

- Ghent Logic Seminar. Ghent, November 2022.

*Determinacy in Second-Order Arithmetic.*

- Proof Society Worshop. Utrecht, November 2022.

*Proof Theory of Pi12-Unsound Theories.*

- Barcelona Set Theory Seminar. Barcelona, October 2022.

*Determinacy on the Edge of Second-Order Arithmetic.*

- Colloquium Logicum. Konstanz, September 2022.

*Sigma-Projective Sets, Cut Elimination, and Woodin Cardinals.*

- Special Session on Proof Theory at the Logic Colloquium. Reykjavik, June 2022.

*The Pi12-Spectrum Conjecture.*

- Logic Colloquium at the University of Vienna. Vienna, June 2022.

*The Metamathematics of Pi12 Sentences.*

- Ghent Logic seminar. Ghent, December 2021.

*Open Determinacy versus Clopen Determinacy.*

- Bristol Logic Seminar. Bristol, December 2021.

*The Pi12 Consequences of a Theory.*

- Münster Set Theory Seminar. Münster, December 2021.

*Indiscernibility Spectra.*

- Studienpreis ceremony. Vienna, November 2021.

*Between the Finite and the Infinite.*

- Best paper award ceremony. Vienna, October 2021.

*Determined Admissible Sets.*

- Caltech logic seminar. California, October 2021.

*Real Determinacy in Admissible Sets.*

- BIRS Workshop: New Frontiers in Proofs and Computations. Hangzhou, September 2021.

*The Pi12-Soundness Spectrum.*

- International Workshop on Gödel's Incompleteness Theorems. Wuhan, August 2021.

*The Pi12 Consequences of a Theory.*

- ESSLLI Beth Prize ceremony. Utrecht, July 2021.

*Between the Finite and the Infinite.*

- Vienna Computational Logic seminar, April 2021.

*The Löwenheim-Skolem theorem for Gödel Logic.*

- Ghent-Leeds Seminar. Leeds, August 2020.

*G_delta,sigma Games of Length omega^2.*

- Ghent Logic and Analysis Seminar. Ghent, December 2019.

*The Wadge Hierarchy.*

- Steklov Proof Theory seminar. Moscow, November 2019.

*Determined Admissible Sets.*

- Wormshop: Lustrum edition. Barcelona, November 2019.

*The Order of Reflection.*

- Workshop on Proof Theory and Automated Deduction. Funchal, October 2019.

*Hyperarithmetic Reduction Properties.*

- Gödel's Legacy Conference. Vienna, July 2019.

*Truth Beyond Zermelo-Fraenkel.*

- Bristol Logic Seminar. Bristol, May 2019.

*F_sigma games of length omega^2.*

- ITAM Mathematics seminar. Mexico City, March 2019.

*Constructing winning strategies.*

- 4th Arctic Set Theory workshop. Kilpisjärvi, January 2019.

*Games of length omega^2.*

- TU Wien Set Theory seminar. Vienna, January 2019.

*The consistency strength of long projective determinacy.*

- 3rd FISP meeting. Vienna, December 2018.

*Degrees of stability and Gandy Ordinals.*

- 1st Proof Society workshop. Ghent, September 2018.

*Cut Elimination and infinite games.*

- First USA-Mexico Logic Fest. Mexico City, January 2018.

*(Omega-)Provably Delta_1 Games.*

- CUNY Set Theory seminar. New York, November 2017.

*sigma-Projective Determinacy.*

- 4th Münster conference on Inner Model Theory. Münster, July 2017.

*Making Delta_1 Determined Again.*

- Mathematics-Computer Science Seminar of the University of Toulouse. Toulouse, June 2017.

*The Infinite Epsilon Calculus.*

- 2nd FISP Meeting. Paris, June 2017.

*The Infinite Epsilon Calculus.*

- Proof Theory: Herbrand's Theorem Revisited. Vienna, May 2017.

*The Infinite Epsilon Calculus.*

- Third Arctic Set Theory Workshop. Kilpisjärvi, January 2017.

*Some applications of Set Theory in Proof Theory.*

- FISP Kick-off Meeting. Innsbruck, November 2016.

*tbc.*

- Worm Seminar. Barcelona, September 2016.

*The Topological Completeness of GLP.*

- Third International Wormshop. Tbilisi, September 2016.

*The Topological Completeness of GLP_Lambda.*

- AiML'16. Budapest, August 2016.

*Verification Logic: An Arithmetical Interpretation for Negative Introspection.*

- WoLLIC'16. Puebla, August 2016.

*Cut Elimination for Gödel Logic with an Operator Adding a Constant.*

- CIPPMI workshop on Proofs, Justifications, and Certificates. Toulouse, June 2016.

*An arithmetic interpretation of negative introspection.*

- Winter School in Abstract Analysis. Hejnice, January 2016.

*The botanics of provability (and omega^omega other short stories).*

- Lilac seminar. Toulouse, September 2015.

*Models of provability logic.*

- International Conference on Topology, Algebra, and Categories in Logic (TACL 2024).

Barcelona (July 2024).

- ESI workshop on Determinacy and Inner Model Theory.

Vienna (June 2024).

- 30th Workshop on Logic, Language, Information, and Computation.

Bern (June 2024).

- Indian School on Logic and Applications.

Goa (June 2024).

- 17th International Conference on Computability, Complexity and Randomness.

Nagoya (March 2024).

- Meeting of the Belgian Mathematical Society.

Brussels (December 2023).

- Oberwolfach workshop "Mathematical Logic: Proof Theory,

Constructive Mathematics." (November, 2023).

- Workshop on Proof Theory, Modal Logic and Reflection Principles.

Bern (October 2023).

- 5th Workshop on Digitalization and Computable Models.

Astana (October 2023).

- Meeting of the German Mathematical Society.

Ilmenau (September 2023).

- British Logic Colloquium.

Bristol (September 2023).

- Set Theory in the UK.

Cambridge (March 2023).

- 6th Arctic Set Theory Workshop

Kilpisjärvi (February 2023).

- Trends in Proof Theory 2023.

Ghent (January 2023).

- CaDProBI Workshop.

Hamburg (January 2023).

- Proof Society Workshop.

Utrecht (November 2022).

- Colloquium Logicum.

Konstanz (September 2022).

- ESI Set Theory Conference.

Vienna (July 2022).

- Logic Colloquium 2022.

Reykjavik (June 2022).

- Proof Society Winter School.

Madeira (November--December 2021).

- Tag der Mathematik.

Vienna (November 2021).

- BIRS workshop on New Frontiers on Proofs and Computation.

Hangzhou (September 2021).

- International workshop on Gödel's incompleteness theorems.

Wuhan (August 2021).

- 32nd European Summer School on Logic, Language, and Information.

Utrecht (August 2021).

- Computability in Europe.

Ghent (July 2021).

- Wormshop: Lustrum edition.

Barcelona (November 2019).

- Workshop on Proof Theory and Automated Deduction.

Funchal (September 2019).

- Kurt Gödel's Legacy Conference.

Vienna (July 2019).

- Rutgers Core Model Induction Workshop.

Rutgers (June 2019).

- Fourth Arctic Set Theory Workshop.

Kilpisjärvi (January 2019).

- 3rd FISP Meeting.

Vienna (December 2018).

- Set Theory today: a conference in honor of Georg Cantor.

Vienna (September 2018).

- 1st Proof Society Workshop.

Ghent (September 2018).

- Summer School of the Proof Society.

Ghent (September 2018).

- Workshop on Constructive Mathematics.

Bonn (August 2018).

- 1st Girona conference on Inner Model Theory.

Girona (July 2018).

- Summer School on Proofs, Types, and Constructions.

Bonn (May 2018).

- First USA-Mexico Logic Fest.

Mexico City (January 2018).

- First International Summer School for Proof Theory in First-Order Logic.

Funchal (August 2017).

- Set Theory Conference on the Occasion of Ronald Jensen's 80th Birthday.

Münster (August 2017).

- 4th Münster Conference on Inner Model Theory.

Münster (July-August 2017).

- 6th European Set Theory Conference.

Budapest (July 2017).

- Proof Theory: Herbrand's Theorem Revisited.

Vienna (May 2017).

- Very Informal Gathering of Logicians 2017.

Los Angeles (February 2017).

- Third Arctic Set Theory Workshop.

Kilpisjärvi (January 2017).

- FISP Kick-off Meeting.

Innsbruck (November 2016).

- Workshop on the Set-Theoretical Aspects of the Model Theory of Strong Logics.

Barcelona (September 2016).

- Advanced Course on Strong Logics and Large Cardinals.

Barcelona (September 2016).

- Twelfth International Tbilisi Summer School in Logic and Language.

Tbilisi (September 2016).

- Third International Wormshop.

Tbilisi (September 2016).

- 11th Conference on Advances in Modal Logic.

Budapest (August 2016).

- 23rd Workshop on Logic, Language, Information, and Computation.

Puebla (August 2016).

- 1st Irvine Conference on Descriptive Inner Model Theory and Hod Mice.

Irvine (July 2016).

- IMS Graduate Summer School in Logic.

Singapore (July 2016).

- Thematic trimester on the Current Issues in the Philosophy of Practice of Mathematics and Informatics.

Toulouse (April--June 2016).

- Winter School in Abstract Analysis.

Hejnice (February 2016).

- The Role of the Higher Infinite in Mathematics and Other Disciplines.

Cambridge (December 2015).

- 5th European Set Theory Conference.

Cambridge (August 2015).

- 27th European Summer School on Logic, Language, and Information.

Barcelona (August 2015).

- Hilbert-Bernays Summer School on Logic and Computation.

Göttingen (July 2015).

- Primer Congreso Nacional de Filosofía e Historia de la Lógica y las Matemáticas.

Mexico (February 2015).

- Proof Theory, Modal Logic, and Reflection Principles.

México (September 2014).

- 26th European Summer School on Logic, Language, and Information.

Tübingen (August 2014).

- Individuals and Indeterminacy. Perspectives in Contemporary Ontology.

Bamberg (July 2014).

- Asymptotic Analisis in General Relativity.

Grenoble (June 2014).

© 2019–2024 All rights reserved. Photographs not on the home page are © FWF/Ulrich Zinell, Gerd Schneider, Klaus Ranger.

This website uses cookies. By continuing to use this site, you accept our use of cookies.