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.
News
- May 2012: André Nies visits the KGRC and gives a talk.
- May 2012: Ostap Chervak visits the KGRC and gives a special lecture.
- May 2012: Alexander Osipov visits the KGRC and gives a talk.
- May 2012: Hubie Chen visits the KGRC and gives a talk.
- April 2012: Diego Mejía visits the KGRC and gives a talk.
- April 2012: Peter Holy visits the KGRC.
- April 2012: On Friday 20th, 12:00pm, Goulnara Arzhantseva (mathematics, Uni Wien, Austria) speaks in the sixth installment of the Friday seminar.
- April 2012: Adam Harris visits the KGRC.
- April 2012: Martin Bays visits the KGRC and gives a talk.
- March 2012: Congratulations to M. Koerwien, who was awarded an FWF Lise Meitner grant.
- March 2012: On Friday 2nd, 12:00pm, Monika Henzinger (computer science, Uni Wien, Austria) speaks in the fifth installment of the Friday seminar.
- March 2012: The KGRC welcomes Yurii Khomskii as a new member!
- March 2012: Michael Pinsker visits the KGRC and gives a talk.
Related websites and services