Kurt Gödel Research Center

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

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

News

• 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

• September 2017: Mohammad Golshani visits the KGRC.
• September 2017: Claudio Ternullo visits the KGRC.
• June 2017: Peter Nyikos visits the KGRC.
• June 2017: Witold Marciszewski visits the KGRC and gives a talk.
• June 2017: Zoltán Vidnyánszky visits the KGRC and gives a talk.
• May/June 2017: Chris Scambler visits the KGRC and gives a talk in the KGRC Friday seminar.
• May/June 2017: Vincenzo Dimonte visits the KGRC and gives a talk.
• May/June 2017: Wolfgang Wohofsky visits the KGRC.
• May 2017: Pratulananda Das visits the KGRC.
• May 2017: Victoria Gitman visits the KGRC and gives a talk.
• May 2017: Šárka Stejskalová and Radek Honzík visit the KGRC.
• May 2017: Sam Roberts visits the KGRC and gives a talk in the KGRC Friday seminar.
• May 2017: Stefan Hoffelner gives a talk.
• May 2017: Víctor Torres-Pérez gives a talk.
• May 2017: Congratulations to Marlene Koelbing on winning a 3-year DOC fellowship of the Austrian Academy of Sciences for "Gaps in the Generalized Baire Space"!

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