Computable Structure Theory and Interactions
Technische Universität Wien, July 15-17 2024
A workshop on computable structure theory and its interactions with other areas in logic and mathematics will take place in Vienna from July 15-17, 2024. If you are interested in attending the workshop please register here (Invited speakers do not need to register).
Apart from invited talks we will have a moderated open problem session on Monday and time and space in the afternoons for people to work together and socialize.
Slides and summary of open question session
Invited Speakers
- Jason Block, CUNY Graduate Center
- David Gonzalez, University of California, Berkeley
- Valentina Harizanov, George Washington University
- Dariusz Kalociński, Polish Academy of Sciences
- Liling Ko, The Ohio State University
- Mateusz Łełyk, University of Warsaw
- Russell Miller, Queens College – City University of New York
- Gianluca Paolini, University of Torino
- Isabella Scott, University of Chicago
- Paul Shafer, University of Leeds
- Stefan Vatev, Sofia University
- Java Darleen Villano, University of Connecticut
Organizers
Vittorio Cipriani, Technische Universität Wien
Damir Dzhafarov, University of Connecticut
Ekaterina Fokina, Technische Universität Wien
Martin Ritter, Technische Universität Wien
Dino Rossegger, Technische Universität Wien
Venue & Travel Information
The workshop will take place at the Institute of Discrete Mathematics, Technische Universität Wien in Vienna, Austria. The address is Wiedner Hauptstraße 8-10, 1040 Wien. The location is quite central, close to the Karlsplatz metro station (U1, U2, U4) and well connected by several tramway lines.
Vienna’s main train station is well-connected to other major cities in Europe, including night train services. Should you prefer to fly, the airport Wien-Schwechat (VIE) also offers direct flights to many major European cities.
Vienna is well connected by public transport. Tickets can be purchased via app or ticket machines at metro stations and in most tramways. Please note that you are responsible to validate tickets before entering the metro platforms or in tramways/buses when starting your journey, even if there are no barriers.
We don’t have any specific hotel suggestions. Close to Hauptbahnhof there are several hotel options and the area is easy to reach from the airport and the venue. But any option close to a metro station should have a quick connection to the venue (you can check travel time by public transport on popular mapping options).
Acknowledgments
