Practical Information

The Institute

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

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.

The city 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.

Directions

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:

  • City airport train (CAT). This train takes 16 minutes from the airport to Wien Mitte and travels in intervals of 30 Minutes from 5:37 am to 11:39 pm. A single ticket costs 11 euros .
  • Railjet. These trains stop at Wien Meidling and at Vienna Main Station (Wien Hauptbahnhof) and run every 25-35 minutes daily from about 7 am to 10.00 pm. The ticket costs 4,10 euros.
  • S-Bahn (S7). The express train plies between Vienna Airport and Floridsdorf. The journey takes 37 minutes as the train makes a number of stops. The ticket costs 4,10 euros.
  • Buses. The buses of Vienna Airport Lines take you direct to the Donauzentrum via Vienna International Centre (VIC), or to the Westbahnhof and Vienna Main Station (Wien Hauptbahnhof). Here more information about the timetable. The single journey costs 8 euros.


Accommodation :

Some recommendations for accommodation during the conference:

Close to the institute:

Restaurants in the neighborhood

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).