PhDs in Logic VII – Cheatsheet (1) Conference venue: lecture room EI8, (Gußhausstraße 27-29, 1040 Wien) (2) BOK, Asian restaurant (Japanese, Cantonese and Malaysian specialities) (3) Santos, Mexican restaurant (also serves burgers) (4) Wieden Br¨ au, typical Austrian restaurant / bar (5) Billa, supermarket (closed on Thursday May 14 due to public holiday) (6) Yamo Yamo, Asian restaurant (Japanese and Taiwanese specialties) (7) Asia Pavillon, Asian restaurant (8) Delicious Monsters, restaurant (two menus, burger, wraps, etc.), open on Friday only! (9) Spar, supermarket (closed on Thursday May 14 due to public holiday) (10) Casa Alberto, Italian restaurant 1 Unofficial event: Vienna Philharmonic Summer Night Concert • Open-air concert with free admission, in the unique ambience of the gardens of Sch¨onbrunn Palace (Palace Gardens – in front of the Neptune Fountain). • http://www.wienerphilharmoniker.at/summer-night-concert-main • Thursday May 14, 8:15 PM (only takes place if the weather is reasonably good) • There is no dress code; feel free to take drinks and snacks with you – you will have to stand there (or sit on the ground) for quite a while. • Try to be there early! Usually there are lots of people. How to get there from the conference venue: • Take underground line 4 (U4) from “Karlsplatz” to “Sch¨onbrunn.” • Then, follow the mass of people. ;-) Conference dinner at Heuriger Werner-Welser Probusgasse 12, 1190 Wien, http://www.werner-welser.at/ Friday May 15, 8:00 PM How to get there from the conference venue: • Take underground line 4 (U4) from “Karlsplatz” to the end station “Heiligenstadt.” • Then, either walk, or take the bus line 38A as far as “Armbrustergasse.” 2