{{Menu SDF60|Information}} Summary: 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: [[Home|KGRC]]. In the following, you will find some local information: {{TOC}} == Booklet == 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 [[2013/SDF60/Program|program webpage]] will always contain the up to date version of the program.) == Venue == 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 [http://www.google.com/maps?hl=en&ved=0CDEQnAUwAA&ei=o-PiS8HoAtHz_Abqr9GVDQ&cid=10630176080297320301 Google Maps] or the [[Location|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. === KGRC === 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 [[Location|KGRC location]]. === Public Transport === ; Planning your trip : You can plan your trip on public transportation in Vienna [http://efa.vor.at/wvb/XSLT_TRIP_REQUEST2?language=en here]. ; Type of tickets : If you plan to use public transportation often then the [http://www.wienerlinien.at/eportal/ep/programView.do/pageTypeId/9083/programId/25961/channelId/-31756 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 [http://www.wienerlinien.at/eportal/ep/programView.do/pageTypeId/10220/programId/11066/channelId/-8366 8-day Climate Ticket] is optimal.
Otherwise use [http://www.wienerlinien.at/eportal/ep/programView.do/pageTypeId/10220/programId/11061/channelId/-8366 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. ; '''Note''' : '''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. === Walking === You can use, e.g., [http://maps.google.com/?f=d&saddr=W%C3%A4hringer%20Strasse%2025%2C%201090%20Wien%2C%20Austria google maps] to get directions and estimates of duration. Alternatively you can try [http://www.anachb.at/?set_language=en&cl=en ANachB] (also for public transport and car). Walking directions from hotels where most of you are staying to the KGRC: * [http://www.freerooms.at/ani/englisch/index.htm Ani]: [https://maps.google.at/maps?saddr=Kinderspitalgasse+1,+Wien&daddr=W%C3%A4hringer+Str.&hl=de&ie=UTF8&ll=48.217911,16.351025&spn=0.005462,0.013937&sll=48.217696,16.352109&sspn=0.005462,0.013937&geocode=Fbi13wIdKWj5ACkPOH0VwgdtRzG-5Ff_zIVq4Q%3BFSbG3wId5JX5AA&dirflg=w&mra=ls&t=m&z=17 walk] * [http://www.freerooms.at/falstaff/englisch/index.htm Ani-Falstaff]: [https://maps.google.at/maps?saddr=m%C3%BCllnergasse+5-7,+Wien&daddr=W%C3%A4hringer+Str.&hl=de&ie=UTF8&ll=48.219312,16.359426&spn=0.005461,0.013937&sll=48.219001,16.357511&sspn=0.002731,0.006968&geocode=FQzI3wIdX635ACmx4JiRuQdtRzE9IrlqqSafsg%3BFSbG3wId5JX5AA&dirflg=w&mra=ls&t=m&z=17 walk] * [http://www.hotelatlanta.at/gb/ Hotel Atlanta]: [https://maps.google.at/maps?saddr=w%C3%A4hringer+strasse+33,+Wien&daddr=W%C3%A4hringer+Str.&hl=de&ie=UTF8&sll=48.232811,16.348905&sspn=0.04368,0.111494&geocode=FajI3wId5JH5ACmBHF6dxwdtRzFD1IOptg18xg%3BFSbG3wId5JX5AA&dirflg=w&mra=ls&t=m&z=19 walk] * [http://www.tripadvisor.com/Hotel_Review-g190454-d237831-Reviews-Baltic-Vienna.html Baltic]: [https://maps.google.at/maps?saddr=Skodagasse+15,+Wien&daddr=W%C3%A4hringer+Str.&hl=de&ie=UTF8&ll=48.217696,16.352119&spn=0.010923,0.027874&sll=48.217696,16.352109&sspn=0.005462,0.013937&geocode=Ffev3wIdem75AClrs1H9wQdtRzFkXnxHmAKsAg%3BFSbG3wId5JX5AA&oq=kurt+g%C3%B6del+&dirflg=w&mra=dme&mrsp=1&sz=16&t=m&z=16 walk] * [http://www.austria-hotels.at/hotel-bellevue/index.html Hotel Bellevue]: [https://maps.google.at/maps?saddr=althangasse+5,+Wien&daddr=W%C3%A4hringer+Str.&hl=de&ie=UTF8&sll=48.220665,16.356356&sspn=0.002731,0.006968&geocode=FYLg3wId4qL5ACn9s8LjyQdtRzHF2_PB4LPAqg%3BFSbG3wId5JX5AA&dirflg=w&mra=ls&t=m&z=16 walk] * [http://www.hotelbleckmann.at/en/ Hotel Bleckmann]: [https://maps.google.at/maps?saddr=w%C3%A4hringer+stra%C3%9Fe+15,+Wien&daddr=W%C3%A4hringer+Str.&hl=de&ie=UTF8&ll=48.219001,16.357511&spn=0.002731,0.006968&sll=48.217911,16.351025&sspn=0.005462,0.013937&geocode=FZPA3wIdhJr5AClHyFHEuAdtRzFdVKtmlg5I4g%3BFSbG3wId5JX5AA&dirflg=w&mra=ls&t=m&z=18 walk] * [http://www.hotelboltzmann.at/ Hotel Boltzmann]: [https://maps.google.at/maps?saddr=boltzmanngasse+8,+Wien&daddr=W%C3%A4hringer+Str.&hl=de&ie=UTF8&sll=48.219312,16.359426&sspn=0.005461,0.013937&geocode=FeLN3wIdFZX5ACmj95ntxwdtRzGx6ya7qewo5A%3BFSbG3wId5JX5AA&dirflg=w&mra=ls&t=m&z=18 walk] * [http://www.deraghotels.de/en/hotels-vienna/hotel-kaiser-franz-joseph-vienna.html Hotel Kaiser Franz Joseph]: [https://maps.google.at/maps?saddr=Sieveringer+Stra%C3%9Fe+4,++Wien&daddr=W%C3%A4hringer+Str.&hl=de&ie=UTF8&sll=48.220044,16.356397&sspn=0.001365,0.003484&geocode=FSgt4AIdE1j5ACk7Lls3nQhtRzFoGuWIVSTd-Q%3BFSbG3wId5JX5AA&dirflg=w&mra=ls&t=m&z=14 walk] * [http://www.strudlhof.at/ Strudlhof Hotel & Palais]: [https://maps.google.at/maps?saddr=pasteurgasse+1,+Wien&daddr=W%C3%A4hringer+Str.&hl=de&ie=UTF8&sll=48.223065,16.356948&sspn=0.010922,0.027874&geocode=FUrO3wId8pn5AClDplQIuAdtRzG4gWpqeB9UQQ%3BFSbG3wId5JX5AA&dirflg=w&mra=ls&t=m&z=18 walk] ==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. ; Cards : 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=== 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 * Liptauer (/LIPP-tower/): cream cheese with red bell pepper, usually vegetarian but might contain gelatine. Two versions: ''scharf'' (/shuff/) means hot (but isn't really), ''mild'' (/milled/) is mild. * Extrawurst: a very popular choice of sliced sausage; often ''mit Gurke'' (/mitt GOOR-ke/, with pickles). * Various kinds of ''Schinken'' (ham) * Leberkäse (/LAY-bear-KAY-ze/, hard to describe, some form of mixture between sausage and spam, eaten warm, probably disgusting if you have not been raised with it, very popular in Austria). Some supermarkets in the vincinity: ===Bakeries=== 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.