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

- 5th Workshop on Digitalization and Computable Models. Astana, October 2–6, 2023.

TBA

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

TBA.

- Hamburg Logic Seminar. June 2nd, 2023.

TBA.

- 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.*

- Non-linearities in the analytical hierarchy. Set Theory in the UK. Cambridge, March 2023.

- Winning strategies for Borel games. Arctic Set Theory Workshop. Kilpisjärvi, February 2023.

- Non-linearities in the analytical hierarchy. Leeds Logic Seminar. February 2023.

- Pi12 Proof Theory. Warsaw Logic Seminar. January 2023.

- The Pi12 Soundness Ordinal. Trends in Proof Theory. Ghent. January 2023.

- Determinacy in Second-Order Arithmetic. Ghent Logic Seminar. Ghent, November 2022.

- Proof Theory of Pi12-Unsound Theories. Proof Society Worshop. Utrecht, November 2022.

- Determinacy on the Edge of Second-Order Arithmetic. Barcelona Set Theory Seminar. Barcelona, October 2022.

- Sigma-Projective Sets, Cut Elimination, and Woodin Cardinals. Colloquium Logicum. Konstanz, September 2022.

- The Pi12-Spectrum Conjecture. Special Session on Proof Theory at the Logic Colloquium. Reykjavik, June 2022.

- The Metamathematics of Pi12 Sentences. Logic Colloquium at the University of Vienna. Vienna, June 2022.

- Open Determinacy versus Clopen Determinacy. Ghent Logic seminar. Ghent, December 2021.

- The Pi12 Consequences of a Theory. Bristol Logic Seminar. Bristol, December 2021.

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

- Between the Finite and the Infinite. Studienpreis ceremony. Vienna, November 2021.

- Determined Admissible Sets. Best paper award ceremony. Vienna, October 2021.

- Real Determinacy in Admissible Sets. Caltech logic seminar. California, October 2021.

- The Pi12-Soundness Spectrum. BIRS Conference: New Frontiers in Proofs and Computations. Hangzhou, September 2021.

- The Pi12 Consequences of a Theory. International Workshop on Gödel's Incompleteness Theorems. Wuhan, August 2021.

- Between the Finite and the Infinite. ESSLLI Beth Prize ceremony. Utrecht, July 2021.

- The Löwenheim-Skolem theorem for Gödel Logic. Vienna Computational Logic seminar, April 2021.

- G_delta,sigma Games of Length omega^2. Ghent-Leeds Seminar. Leeds, August 2020.

- The Wadge Hierarchy. Ghent Logic and Analysis Seminar. Ghent, December 2019.

- Determined Admissible Sets. Steklov Proof Theory seminar. Moscow, November 2019.

- The Order of Reflection. Wormshop: Lustrum edition. Barcelona, November 2019.

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

- Truth Beyond Zermelo-Fraenkel. Gödel's Legacy Conference. Vienna, July 2019.

- F_sigma games of length omega^2. Bristol Logic Seminar. Bristol, May 2019.

- Constructing winning strategies. ITAM Mathematics seminar. Mexico City, March 2019.

- Games of length omega^2. 4th Arctic Set Theory workshop. Kilpisjärvi, January 2019.

- The consistency strength of long projective determinacy. TU Wien Set Theory seminar. Vienna, January 2019.

- Degrees of stability and Gandy Ordinals. 3rd FISP meeting. Vienna, December 2018.

- Cut Elimination and infinite games. 1st Proof Society workshop. Ghent, September 2018.

- (Omega-)Provably Delta_1 Games. First USA-Mexico Logic Fest. Mexico City, January 2018.

- sigma-Projective Determinacy. CUNY Set Theory seminar. New York, November 2017.

- Making Delta_1 Determined Again. 4th Münster conference on Inner Model Theory. Münster, July 2017.

- The Infinite Epsilon Calculus. 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.

- Some applications of Set Theory in Proof Theory. Third Arctic Set Theory Workshop. Kilpisjärvi, January 2017.

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

- The Topological Completeness of GLP. Worm Seminar. Barcelona, September 2016.

- The Topological Completeness of GLP_Lambda. Third International Wormshop. Tbilisi, September 2016.

- Verification Logic: An Arithmetical Interpretation for Negative Introspection. AiML'16. Budapest, August 2016.

- Cut Elimination for Gödel Logic with an Operator Adding a Constant. WoLLIC'16. Puebla, August 2016.

- An arithmetic interpretation of negative introspection. CIPPMI workshop on Proofs, Justifications, and Certificates. Toulouse, June 2016.

- The botanics of provability (and omega^omega other short stories). Winter School in Abstract Analysis. Hejnice, January 2016.

- Models of provability logic. Lilac seminar. Toulouse, September 2015.

- British Logic Colloquium. Bristol (September 2023).

- Set Theory in the UK. Cambridge (March 2023).

- 6th Arctic Set Theory Workshop (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 University (August 2021).

- Computability in Europe. Ghent University (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 (June 2019).

- Fourth Arctic Set Theory Workshop (January 2019).

- 3rd FISP Meeting (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. University of Cambridge (December 2015).

- 5th European Set Theory Conference. University of Cambridge (August 2015).

- 27th European Summer School on Logic, Language, and Information. Universitat Pompeu Fabra (August 2015).

- Hilbert-Bernays Summer School on Logic and Computation. University of 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. Universität Tübingen (August 2014).

- Individuals and Indeterminacy. Perspectives in Contemporary Ontology. University of Bamberg (July 2014).

- Asymptotic Analisis in General Relativity. University of Grenoble (June 2014).

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