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

• December 2016: The KGRC is involved in the ESI Workshop Current Trends in Descriptive Set Theory.
• November 2016: The KGRC welcomes Damian Sobota as a new member.
• October 2016: Boaz Tsaban visits the KGRC.
• October 2016: Piotr Szewczak visits the KGRC.
• October 2016: The KGRC welcomes Raphaël Carroy as a new member.
• October 2016: The KGRC welcomes Daniel T. Soukup as a new member.
• September 2016: Stefan Hoffelner passes his PhD exam with distinction. Congratulations Stefan!
• September 2016: Sandra Uhlenbrock visits the KGRC.
• September 2016: The KGRC welcomes Ján Pich as a new member.
• August 2016: Sandra Uhlenbrock visits the KGRC.
• July 2016: Arnold Miller visits the KGRC and gives a talk.
• July–August 2016: David Schrittesser 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