The workshop will take place at the Institute of Logic and Computation at the Technical University of Vienna. We will use the Gödel-seminar room, which you can access through the courtyard of the building at Favoritenstraße 9-11. The metro station U1 Taubstummengasse is less than 200m away.