• Home
  • Research
  • Group
  • Short CV
  • Grants
  • Teaching
  • Talks
  • More
    • Home
    • Research
    • Group
    • Short CV
    • Grants
    • Teaching
    • Talks
  • Home
  • Research
  • Group
  • Short CV
  • Grants
  • Teaching
  • Talks

Talks and Events

Talks Given

  • 17th International Conference on Computability, Complexity and Randomness. Nagoya, March 11–15, 2024.
    TBA.
     
  • Meeting of the Belgian Mathematical Society. Brussels, December 20th, 2023.
    TBA.
     
  • Oberwolfach workshop "Mathematical Logic: Proof Theory, Constructive Mathematics." November 12–17, 2023.
     
  • Workshop on Proof Theory, Modal Logic and Reflection Principles. Bern, Switzerland. October 31st–November 3rd, 2023.
    TBA.
     
  • 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

  • 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).

Cookie Policy

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

Accept & Close