Talks and Events
Talks Given
- Winter school on Logic and Set Theory. Morelia, December 2–6, 2024.
Mini-course on Model Theory of Infinitary Logic.
- European Set Theory Conference. Münster, September 19, 2024.
Ultraexact cardinals, structural reflection, and the HOD Conjecture.
- Invited speaker at the 7th Workshop on Proof Theory, Modal Logic, and Reflection Principles, Ghent, September 2–5, 2024.
New models of GL.3.
- Invited speaker at the conference on Topology, Algebra, and Categories in Logic. Barcelona, July 1–5, 2024.
Pi12 Proof Theory.
- 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.
Events Attended
- Winter school on Logic and Set Theory.
Morelia (December 2024).
- Colloquium Logicum 2024.
Vienna (October 2024).
- European Set Theory Conference.
Münster (September 2024).
- Proof Society Workshop.
Birmingham (September 2024).
- 7th Workshop on Proof Theory and Reflection Principles.
Ghent (September 2024).
- 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).