Sy turns 60 in May 2013, and he would like to celebrate his birthday with some of his favourite logicians during this 5 day meeting in Vienna.

The meeting will be very relaxed. The speakers are invited to give 30 minute talks about anything they want. And apart from logic, there should be lots of time for social and touristic activities.

Dates: Monday July 8 - Friday July 12, 2013. Venue: KGRC.

In the following, you will find some local information:


At registration you will receive this booklet that summarizes some of the following information. (This booklet will not reflect possible short term changes in the program. The program webpage will always contain the up to date version of the program.)


The conference will take place at the Josephinum, located at Währinger Straße 25 in Vienna's 9th district (Alsergrund). For the location, see Google Maps or the KGRC location page.

Note that the gates to the courtyard of the Josephinum are locked every day at about 21:00. (After that time, you can still leave the building to get into the courtyard, but cannot reenter the building nor exit the courtyard.) We ask that you leave the premisess well before 21:00 to avoid getting trapped. (If you find yourself at the KGRC after that, do not leave on your own but ask a KGRC member to escort you out.)

Signs will be posted to help direct participants to the various rooms important for this conference:

Lecture Hall

All lectures will take place in the lecture hall (Hörsaal) located on the first floor (above ground level).

To get there, enter the building through the central entrance in the courtyard, and take the stairs up one floor.

If an elevator is required, go through the main doors, and turn left in the main corridor. This elevator will get you to the lecture hall (floor 1) as well as to the KGRC (floor 2).

During lunch breaks, during the fancy break Monday afternoon, and after the last talk for each day, the lecture hall will be locked and inaccessible, so participants are asked to not leave any personal items in this room.

During the regular coffee breaks, a KGRC member will be present in this room, so feel free to safely leave your bags and/or laptops behind.

To get from the lecture hall to the KGRC, you have to get one level up. For this, you can use a spiral staircase of the elevator.


The KGRC itself is located on the second floor (above ground) of the building. The KGRC will be open from 08:00 until 18:00 (at least) Monday through Friday.

The coffee breaks will take place in the seminar and meeting rooms (rooms 101 and 104). Registration will occur in the meeting room on Sunday, July 8 from 14:00 to 18:00. Coffee and other refreshments will be available in the meeting room during opening hours.

Services offered at the KGRC include wired and wireless internet access and other computer services. There are workspaces for quiet study and space for group work, including blackboards and whiteboards.

In room 98 conference participants will be able to get information about our computer services, including their username and passwords. The public computers are also located in this room. A KGRC member will be here during the official hours to help in whatever capacity they can.

Below is a floor-plan of the KGRC:

Floor plan

Getting around

To and from the airport

See our general information on KGRC location.

Public Transport

Planning your trip
You can plan your trip on public transportation in Vienna here.
Type of tickets
If you plan to use public transportation often then the weekly ticket is the best option. It is valid from Monday 0.00 until the next Monday 9.00 in the morning.
In case there are at least 2 persons coming with you and you plan to travel 2-3 days per week, and you plan to always travel together, then the 8-day Climate Ticket is optimal.
Otherwise use Single Trip Tickets.
Where to buy tickets
You can buy your tickets at a ticket machine in any metro station or S-Bahn station or from a tobacconist. You cannot buy them at tram stops or bus stops. Only single tickets are available from the small ticket machines inside trams. At the other ticket machines you can generally choose whether you want your ticket pre-validated for immediate use. If you buy an unvalidated ticket, make sure not to forget stamping it before use, as ticket inspections are very frequent and the fine is 100 Euros. At most ticket machines you can select any of the following languages: German, English, French, Russian and a few others.
There will be no tramways in Währinger Straße (between Gürtel and Ring) due to construction work. This affects trams 37, 38, 40, 41 and 42. There will be a rail replacement bus service, but estimated transit times here and on other webpages may be inaccurate.


You can use, e.g., google maps to get directions and estimates of duration. Alternatively you can try ANachB (also for public transport and car).

Walking directions from hotels where most of you are staying to the KGRC:

Restaurants, Supermarkets, etc.

Some of the restaurants and supermarkets close to the KGRC are mentioned in the booklet. Even more information is provided here.

Opening hours
Most supermarkets (as well as most other shops in Austria) are closed on Sundays. Würstelstände and many restaurants are open). The Billa supermarkt at Franz Josephs Bahnhof is open on Sundays.
Note that not all restaurants listed below (and none of the supermarkets) accept credit cards. Those that do accept credit cards will often only accept Visa and MasterCard. In general, credit cards are far less common in Austria than in the US. There are many ATM machines (Bankomat) where you can get cash, e.g. next to Hofer or in the Spar (Nußdorfer Straße) or U2 subway station Schottentor.


Supermarkets are the cheapest way to get food, and in all supermarkets, you can get cheap beverages (including wine, beer and other alcoholic drinks, usually not cooled).

Hofer is cheapest among the supermarkets close by, but does not have a Deli counter (but it has pre-packed ham, cheese and bread; and frozen or cooled precooked dishes), neither does it have cooled drinks. Billa and Spar are slightly more expensive, but usually do have Deli counters and cooled drinks.

From a Deli counter, you can get a Semmel (bread roll) filled with Käse (/KAY-ze/, cheese) or Wurst (/WOO-ust/, sausage); about the cheapest lunch you can get (1-2 EUR). Traditional choices for fillings are

Some supermarkets in the vincinity:


There are several bakery chains such as Ströck, Anker and Mann. You can get various sandwiches, sometimes slices of Pizza, also desserts such as Kuchen and Strudel. Desserts usually are vegetarian (but some might contain gelatine), some of the snacks are vegetarian as well. Usually not much for vegans (apart from bread). Some stores quite close to the KGRC:

Würstelstand / Falafel / Kebap

A Würstelstand is kind of a traditional kiosk selling grilled and cooked sausages. Quite cheap (about 3 EUR) for the enourmous amounts of fat per serving. Nothing for vegetarians. Popular choices include Käsekrainer (/KAY-ze-CRY-nuh/, reddish, grilled sausage with cheese in it), Bratwurs" (/brutt-WOO-ust/, light brown, grilled sausage) and Frankfurter (pinkish, cooked sausage). Usually you eat that stuff either with Semmel (bread roll) or a slice of Brot (bread); and either with catchup, or with scharfem/Estragon Senf (yellow mustard) or with süßem/Kremser Senf (brown mustard). Alternatively, you can get the sausages in a hot dog bun as well (a much bigger thing than you might be used to from the US); optionally you can also get some pickles (Gurke or Pfefferoni) with that. (Note: Pfefferoni = chili pepper; the sausage sometimes called pepperoni would in Austria be called salami.)

Other kiosks sell Döner Kebap or Falafel (about 3.50 EUR). Döner Kebap is shredded meat in white bread, with salad, onion and tomato; mit allem = with everything also means spiced (slightly hot). Do not get your hopes up if you are vegan: they do sell Falafel, but this may be appaling; for good Falafel, you have to go to Mashu Mashu (far away), tolerable Falafel you can get at the kiosk intersection Währinger Straße and Gürtel (on the little island for the tram-stop), see below under Felafel/Kebab.

You can find many kiosks in walking distance to KGRC (the first two are particularly close by):

Student Cafeteria

If you do not want to have lunch in a restaurant, a student cafeteria might be a reasonable low-budget alternative. Usually, there are vegetarian (but not vegan) options in the student caferias. The price is around 5 Euro.

Restaurants, Cafés, etc.

Tipping is common in Restaurants and Cafés (between 5 and 10 percent, maybe round up to the next Euro). You do not tip in supermarkets or take-away bakeries (tipping situation unclear in restaurant take-away situations).

You are supposed to order a drink in most restaurants. You can just ask for "Leitungswasser" (tap water), which is free, but then the waiters will dislike you. The cheapest alternative usually is Soda (seltzer/soda water, 1-2 EUR), usually cheaper than Mineralwasser (mineral water). The usual size for nonalcoholic drinks is 0.2-0.25 liter (7-8 fl.oz), large is 0.5 liter (about a pint).

Note that many of the restaurants listed below may not accept credit cards.

Bottom menu

Kurt Gödel Research Center for Mathematical Logic. Währinger Straße 25, 1090 Wien, Austria. Phone +43-1-4277-50501. Last updated: 2013-07-08, 00:51.