Logic Café colloquium of the Department of Philosophy

23.01.2023

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é:

 

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