All forthcoming seminars - Advanced course in foundations of mathematics - (2019/2020)

Date Seminar Seminar series
3/9/20 Category theory and point-free topology [4 ETCS, Mat/01]
Timetable: Fino al 27 marzo. Orario e luogo ancora da definire. | Speaker: Simon Henry (University of Ottawa)
Mathematics mini courses 2019-20
5/25/20 Program Extraction [1 ECTS Mat/01]
Timetable: Fino al 29 marzo. Orario e luogo ancora da definire. | Speaker: Monika Seisenberger (Swansea University)
Mathematics mini courses 2019-20
Tot 2 Seminars

Studying