# 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

- 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 and gives a talk.
- October 2016: Yurii Khomskii visits the KGRC.
- October 2016: The Joint Prague–Vienna Set Theory Workshop takes place from Monday–Wednesday October 17 to October 19 at the Institute of Mathematics of the Czech Academy of Sciences (CAS) in Prague.
- October 2016: Bartosz Wcisło visits the KGRC.
- October 2016: Jan Grebík visits the KGRC.
- October 2016: Piotr Szewczak visits the KGRC and gives a talk.
- 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!

## Related websites and services