Kurt Gödel Research Center

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

The KGRC 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. The KGRC was a research platform of the University of Vienna until the group was merged into the institute of mathematics of the University of Vienna effective January 1, 2019.

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

News

• October 2021: We are happy to announce that Jeffrey Bergfalk has been awarded the 2021 Mary Ellen Rudin Young Researcher Award, an annual award which “aims to celebrate Mary Ellen Rudin’s achievements and her legacy by encouraging the development of young talent in topology.” He receives the award for “his exceptional work on the interactions between algebraic topology and set theory.” Congratulations, Jeffrey!
• February 2021: Vera Fischer accepts a tenure-track professorship in mathematical logic.
• December 2020: Jonathan Schilhan defends his PhD thesis. Congratulations Jonathan!
• December 2020: Sandra Müller is awarded a L'Oreal Austria fellowship and Elise Richter fellowship. Congratulations Sandra!
• July 2020: Matthias Aschenbrenner joins the KGRC as director of the group.
• 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.

• July 2022: Leandro Aurichi (host: Lyubomyr Zdomskyy) visits the KGRC.
• July 2022: Frank Tall (host: Lyubomyr Zdomskyy) visits the KGRC.
• July 2022: Peter Nyikos (host: Lyubomyr Zdomskyy) visits the KGRC.
• July 2022: In the period July 4–8, 2022, the Erwin Schrödinger Institute hosts a workshop in set theory featuring lectures in major areas of set theory, including descriptive set theory, infinitary combinatorics, forcing and large cardinals, given by leading specialists in the field.
• June 2022: Alessandro Vignati (host: Vera Fischer) visits the KGRC and gives a talk.
• June 2022: Gunter Fuchs (host: Vera Fischer) visits the KGRC and gives a talk.
• June 2022: Juan Aguilera gives a talk.
• May 2022: Sandra Müller gives a talk.
• May 2022: James Mitchell (host: Vera Fischer) visits the KGRC and gives a talk.
• May 2022: Yann Peresse (host: Serhii Bardyla) visits the KGRC.
• May 2022: Luke Elliott (host: Lyubomyr Zdomskyy) visits the KGRC.
• May 2022: Jonathan Cancino (host: Vera Fischer) visits the KGRC.
• May 2022: Marta Maloid-Glebova (host: Lyubomyr Zdomskyy) visits the KGRC.
• May–August 2022: David Schrittesser (host: Vera Fischer) visits the KGRC and gives a talk.
• May 2022: Corey Switzer gives a talk.
• May 2022: Karin Tent gives a talk has to postpone her talk.
• May 2022: Philipp Lücke gives a talk.
• May 2022: Matthias Aschenbrenner gives his inaugural lecture.
• May 2022: Ömer Bag gives a talk.
• May 2022: Miguel Antonio Cardona Montoya (host: Vera Fischer) visits the KGRC and gives a talk.
• April 2022: Tobias Kaiser (host: Matthias Aschenbrenner) visits the KGRC and gives a talk.
• April 2022: Miguel Moreno gives a talk.
• April 2022: Wolfgang Wohofsky gives a talk.
• December 2021–August 2022: Clifton Ealy (host: Benjamin Miller) visits the KGRC.

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