16:45-18:15 Uhr
Antonio Piccolomini d'Aragona (Czech Academy of Sciences):
"From normalisation to proof-theoretic semantics. A case of informal rigour?".
Upcoming events of the Logic Café:
- Mo, 30.01.2023, 16:45-18:15 Uhr, Suki Finn (Royal Holloway University of London): "Nothing".
- Mo, 13.03.2023, tba, Gareth Pearce (Universität Wien): "On Axiom Selection".
Meetings in this semester will be held in presence, usually on Mondays, between 16:45 and 18:15. The meetings will be held in seminar room 3D (D0316, NIG; 3rd floor) at the Department of Philosophy, Universitätsstrasse 7.
Please see our website for further information on the Logic Café colloquium, for past events, and regular updates: https://logik-cafe.univie.ac.at