Institute of Discrete Mathematics and Geometry,

TU Wien.

Wiedner Hauptstrasse 8–10, 1040 Vienna, Austria.

For academic matters: [lastname] at [logic dot at]

For other matters: [contact] at [thisdomain] (.ag; see url)

All areas of Mathematical Logic, including Proof Theory; Set Theory; Recursion Theory; Model Theory; non-classical, many-valued, and modal logics; as well as interactions between these areas and applications to Computer Science, Artificial Intelligence, and Economics.

Our special issue of *Philosophical Transactions of the Royal Society *[vol. 281, issue 2248, May 2023]* *on* **Modern Perspectives in Proof Theory** *has now been published on the Royal Society's website. See the blog post.

ESI trimester on Reverse Mathematics, June 23th–August 29th, 2025. Erwin Schrödinger Institute, University of Vienna.

Logic Colloquium 2025. TU Wien, July 7–11th, 2025.

BIRS Workshop on Infinitary Proof Theory: Techniques and Applications at CMO. August 10–15, 2025.

Workshop on Higher Computability Theory. August 19–23, 2024. CIEM.

Trends in Proof Theory 2024, February 5th–16th, 2024. TU Wien.

- 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. July 7th, 2023.

*Indiscernibility Spectra.*

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