Institute of Discrete Mathematics and Geometry,
TU Wien.
Wiedner Hauptstrasse 8–10, 1040 Vienna, Austria.
For mathematical or 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.
Young Set Theory 2025. TU Wien, September 8–12, 2025 (tentative).
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.
© 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.