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.
The Josephinum is the most prominent example of neoclassical architecture in Vienna and an important legacy of the Age of Enlightenment in Austria. It was founded in 1785 by Emperor Joseph II as a medico-surgical military academy to train prospective doctors and midwives for civil and military service according to novel teaching methods. Currently it hosts the Kurt Gödel Research Center of the University of Vienna, as well as part of the Medical University of Vienna.
If you want more information about the city of Vienna and its cultural life, the following link might be useful: www.wien.info/en.
The lectures will be held at the main lecture hall of the Josephinum. The closest tramway stations are Sensegasse or Schwarzspanierstraße (Lines 37,38,40,41). If you travel with the U-Bahn the closest station is Schottentor. For more information here is the website of the Wiener Linien where you can plan your journey. You can also download the app WienMobil.
If you want to travel from the airport to the city center using public transportation here are some options you can use:
Some recommendations for accommodation during the conference:
Close to the institute:
Here there is a small suggestion list of places where you could have lunch/dinner during the conference, all of them have a lunch menu with two options (one with meat and one vegetarian). Some of them also have vegan options (please click on the green bubbles to check).