Workshop on Homotopy Type Theory/ Univalent Foundations

Vienna, Austria, April 22-23, 2023

Co-located with WG6 meeting of the EuroProofNet COST action.

Local information about Vienna


Gußhausstraße 27 - 29, 1040 Wien, Austria

Main area: 4.OG, Seminarraum CH EG, Room number CD 04 04 (ground floor)

Streaming (when not enough space): Room El 01 Petric (second floor, counting from zero)

How to get there (map).

Roadblocks: On Sunday, 23rd April 2023, is the Vienna City Marathon. Some roads are going to be closed and some forms of public transport will be unavailable. However, the ubahn (underground metro) should run smoothly during the event, so plan your route to the venue accordingly.

Getting to Vienna

By Train

The main train station of Vienna is called Wien Hauptbahnhof (commonly abbreviated as "Wien Hbf", translating to Vienna central station). It is directly connected to the underground line U1, as well as many other bus lines. The majority of trains in Austria are operated by the ÖBB.

By Plane

The Vienna International Airport (VIE) is an international transport hub and is conveniently located close to the city.

To get to the city center, you have the following options:

Standard train conncection (Schnellbahn S7) between the airport and Landstraße / Wien Mitte and Railjet between the airport and Wien Hauptbanhof (Vienna central station) are available (~30 minutes, tickets €4.20 one-way, including underground and bus in Vienna). Make sure to buy “2 zones” from the vending machine. If you buy a (time-based) transit pass for the city of Vienna at the same time, you only need “1 zone” (€2.10) to enter the city.

The City Airport Train (CAT) links the airport to subway station Landstraße / Wien Mitte in 16 minutes where you can change to subway lines U3 and U4, as well as to tram and buses. If travelling on CAT, you can already check-in at the train station Wien Mitte for certain flights when departing from Vienna. The fare is 11€ for a one-way and 19€ for a return trip. Have a look at the timetable. Note that tickets for underground, trams, or local buses are not included in this fare.

Airport Bus Shuttle: There are regular buses running from the airport to:

The bus station is located directly in front of the airport arrival hall. Buses leave every 20 to 30 minutes. It takes around 30 minutes to get to Vienna by bus. Tickets (8 euros) are available on the bus or at the self-service ticket machines. Please note that the tickets are only valid for the shuttle bus, and not for public transportation in Vienna.

Taxi: The taxi stand at the airport is located in front of the arrival hall. It takes about half an hour to get to the city centre (approx. 36 euros).

By car

All vehicles with a maximum weight of up to 3.5 t (e.g. motor bikes, cars) require a so-called “vignette” toll sticker to travel on Austrian motorways and expressways. You can buy a digital sticker online at the ASFiNAG webpage or you can obtain a physical sticker at local petrol stations, post offices, newsagents, and Automobile Clubs. You can also purchase stickers in Austria's neighbouring countries at petrol stations, borders, and Automobile Clubs.

Parking in Vienna: You can park your vehicle at a park + ride garage options, such as:

Local transport in Vienna

Vienna has an excellent public transport system. A public transport ticket for the city of Vienna (Zone 100 or Kernzone) is valid for any subway, tram, or bus operated by Wiener Linien and trains operated by ÖBB and WLB.

There are several kinds of tickets: A ticket for a single trip costs €2.10 and can be used for any single trip within Vienna. You may change lines, but must not interrupt your journey. There are also transit passes for one or several days that may be more convinient. You can purchase tickets at a machine at every underground stop and also via the WienMobil app.

You can reach the university via the following lines:


German is spoken in Austria, and the most commonly spoken foreign language is English.


The Euro(€) is the currency of Austria. You can also pay for your purchases without a problem by card.


There are several options for accommodation in Vienna, here we list some mid-range accommodations:


There are several lunch places available around the workshop venue (in the 10min walk radius). Some are proper sit-down places, some only offer take out, and some both. If the weather is nice, there is an option to consume takeout food at the rooftop of the building, where the workshop is held. Here are some options (approximately ordered according to distance):


In many service areas, such as restaurants, taxis, hairdressers, serviced filling stations, etc., a tip is traditionally given. This is normally 5 to 10 percent, with the exact amount depending on the level of satisfaction with the service provided. You can also tip while paying by card: when a service provider (e.g. a waiter) tells a number due to pay, you say a higher number that includes the total cost plus tip, and you pay the amount you said.


Shops are usually open Mon - Fri from 9.00 am - 6.30 pm, Sat until 5.00 pm or 6.00 pm; some shopping centers are open until 8.00 pm or 9.00 from Mon-Fri. Shopping on Sundays and holidays is available only at the large railway stations, at the airport and in the museum shops.


In Austria the power sockets are of type F. The standard voltage is 230 V and the standard frequency is 50 Hz.


Vienna University of Technology is within walking distance of Hofburg Palace (the former imperial residence), important music venues including the Vienna State Opera and the Musikverein (home of the Vienna Philharmonic Orchestra - from where the New Year's Concert is annually broadcasted around the globe), of beautiful churches such as the splendid Baroque Karlskirche (St. Charles' Church) and Stephansdom (St. Stephen's Cathedral), which is located at the very city center, of major museums including the art nouveau Secession, the Albertina Museum, the Museum of Fine Arts (Kunsthistorisches Museum), the Museum of Natural History (Naturhistorisches Museum), the newly built Museumsquartier hosting modern art, and the Belvedere (a complex of two Baroque palaces housing an art museum), as well as Europe's largest open market – the Naschmarkt - with variety of international restaurants.

Further away from the city center, popular sights include Schönbrunn Palace (the former imperial 1,441-room Rococo summer residence) and the Wiener Prater with the famous Giant Ferris Wheel (although some would say getting on the wheel is overpriced for the experience and would choose a different ride in Prater).

An extensive account of travel information for Vienna can be found on the official webpage of the a Vienna Tourist Board. The webpage of the city of Vienna offers all sorts of information on Vienna including tourist information.

We also recommend

Back to main event page

HoTT/UF 2023, Vienna

Previous HoTT/UF Workshops