Substructural logics: semantics, proof theory, and applications

26–28 February 2018, Vienna (Austria)

Second SYSMICS Workshop

Giada Coppi

Faculty of Mathematics, University of Vienna—Oskar-Morgenstern-Platz 1, 1090 Vienna. DG (12th Fl.), Sky Lounge

Closest subway (U-Bahn) stations: Roßauer Lände U4 line).

Schottenring (U2, U4 lines). The station has exits from both the U2 and U4 platforms. Take care to exit the station from the U4 platform onto Franz-Josephs-Kai (see the map) i.e. south of the Danube Canal (Donaukanal). (Do not exit the station from the U2 platform as it exits north of the Danube Canal). The venue, labelled "WPI", and the subway stations can be found on a map at the bottom of this page.

Further information

The historical center of Vienna is located in the Innere Stadt (1st district, postal code 1010). At its centre is St. Stephen's Cathedral (Stephansdom) standing on Stephansplatz, the central square of the city. Stephansplatz is about 22 mins walking distance from Oskar-Morgenstern-Platz 1 (meeting venue) and from the Faculty of Informatics of TU Wien at Favoritenstrasse 9–11 (see building H on this plan).