December 7, 2023
Conference on Techniques from Logic in Mathematics
TU Wien, Vienna, Austria
This event is aimed to enhance the engagement between domestic researchers/students and external researchers working in connections between logic and other areas of mathematics.
(23 November) Now you can see all titles and abstracts of the talks. We are re-opening registration for online participation!
Due to the number of registrations reaching the room capacity, we have had to close registration for in-person participation.
Instead, we have decided to livestream several talks, including at least the invited talks, via Zoom.
Please use this Google form for registration. All registered participants will receive a Zoom link a few days before the conference. There is of course no registration fee.
If you have any questions, please feel free to send an email to Lorenzo Sauras-Altuzarra (lorenzo [at] logic [dot] at).
From left to right: Wilfried Imrich, Paulo Arruda, Takehiko Gappo, Dino Rossegger, Michał Tomasz Godziszewski, Julia Wolf, Leonardo Pacheco, Thibaut Kouptchinsky, Grigorii Stepanov, Vittorio Cipriani, Luca San Mauro, Lorenzo Sauras-Altuzarra, Aris Daniilidis, Daniele Parisse, Stefan Hetzl, Steffen Lempp, Ulrich Kohlenbach, Matthias Baaz, Valentin Haberl, Mariami Gamsakhurdia and Nick Chapman.
Invited Speakers
University of Cambridge, UK
From additive number theory to model theory: the structure of stable sets
Technische Universität Darmstadt, Germany
Proof Mining: Logical Foundations and Recent Applications to Nonlinear Analysis
Location
All talks will take place in the room DA09E10 on the 9th floor in the green area of the TU Wien Freihaus building, Wiedner Hauptstraße 8-10, 1040 Vienna.
Directions:
The TU Wien Freihaus building can be accessed via metro or tram. The nearest metro station is Karsplatz (U1, U4) and the nearest tram station is Resselgasse (Lines 1, 62, BB).
To reach the lecture room, please take the lift in the green area to the 8th floor and then go upstairs, as there is no lift directly to the 9th floor.
Committees
Organizing committee
Matthias Baaz (TU Wien)
Lorenzo Sauras-Altuzarra (TU Wien)
Takehiko Gappo (TU Wien)
Acknowledgements
This conference is supported by the Austrian Science Fund (FWF), project number P36571-N.
