Kurt Gödel Research Center

Kurt Gödel Research Center for Mathematical Logic (KGRC), Vienna

The KGRC, a research platform of the University of Vienna, is named after Kurt Gödel, who proved the completeness and the incompleteness theorems in Vienna in the years 1929–1931, arguably the most groundbreaking work in mathematical logic of modern times.

• Read about Gödel in Vienna.
• A description of our research.

News

• July 2018: Vera Fischer wins this year's Prize of the Austrian Mathematical Society. It is awarded at the "Day of Mathematics" at the Faculty of Mathematics on November 9.
• May 2018: Zoltán Vidnyánszky receives the 2018 Paul Turán award. The prize is awarded for Hungarian mathematicians under 40 for internationally recognized excellence in research related to Paul Turán's work and its applications. (Short note in Hungarian language.)
• December 2017: Daniel Soukup receives the Grünwald Géza Prize from the Bolyai Society at the Rényi Institute. The prize is awarded since 1951 to Hungarian mathematicians under 30 for outstanding achievements in pure mathematics research.
• September 2017: Ben Miller is promoted to full professor.
• June 2017: Vera Fischer is awarded a START prize. The START prize is one of the most recognized prizes for young scientists in Austria and includes prize money up to 1.2 million Euro. (All prize winners of 2017 and their projects, introduction in German; photos of the prize giving ceremony.)
• June 2017: Diana Montoya successfully defends her PhD thesis. Congratulations Diana!
• June 2017: The Austrian Academy of Sciences awards the 128 most promising PhD thesis proposals from all of Austria with a DOC stipend. Marlene Koelbing receives one of them. (Press release in German, photos © ÖAW/Elia Zilberberg, Marlene in 0086_0086.jpg and 0087_0087.jpg.)
• May 2017: Sy-David Friedman is interviewed (in German) for the Audimax podcast.
• April 2017: The KGRC was recently ranked as the second-best institute for logic in the world (after Paris 7); see http://derstandard.at/2000055309772/Erstmals-erhoben-Zahl-der-Top-10-Platzierungen-nach-Disziplinen

• June/July 2019: The European Set Theory Conference 2019 takes place at Oskar-Morgenstern-Platz 1, preceeded by the Advanced Class in Set Theory 2019 (YST2019) at the lecture hall BIG Hörsaal, Hauptgebäude Tiefparterre.
• April 2019: Ilijas Farah (host: Vera Fischer) visits the KGRC and gives a talk.
• January 2019: Lucas Chiozini Souza (host: Lyubomyr Zdomskyy) visits the KGRC.
• January 2019: Benjamin Vejnar (host: Benjamin Miller) visits the KGRC and gives a talk.
• January 2019: Moritz Müller (host: Vera Fischer) visits the KGRC and gives a talk.
• January 2019: Natasha Dobrinen (host: Vera Fischer) visits the KGRC and gives a talk.
• January 2019: The KGRC welcomes Serhii Bardyla as a new member.
• January 2019: The KGRC welcomes Lyubomyr Zdomskyy as a returning member.
• December 2018: Daniel Soukup gives part 2 of his previous talk. (video)
• December 2018: Stevo Todorcevic (host: Vera Fischer) visits the KGRC and gives a talk.
• December 2018: Jerzy Kąkol (host: Damian Sobota) visits the KGRC.
• November 2018: Daniel Soukup gives a talk. (video)
• November 2018: Raphaël Carroy gives a talk. (video)
• November 2018: Russell Miller (host: Sy-David Friedman) visits the KGRC and gives a talk. (video, slides)
• November 2018: Tim Button (host: Neil Barton) visits the KGRC and gives a talk in the KGRC Friday seminar. (video, slides)
• November 2018: Thilo Weinert gives a talk.
• November 2018: The KGRC welcomes Damian Sobota as a returning member.

Related websites and services

• Vienna University: Faculty of Mathematics
• The following groups at Vienna University of Technology: Algebra, Computational Logic, Theory and Logic, Database and Artificial Intelligence, Knowledge-Based Systems and Formal Methods in Systems Engineering.
• Kurt Gödel Society

• Local information (login required - how to get access)
• Java applet for logging in to our server from computers without an ssh client