Tutti i prossimi seminari - Advanced course in foundations of mathematics - (2019/2020)

Data Ciclo di seminari
09/03/20 Category theory and point-free topology [4 ETCS, Mat/01] --- CANCELLED
Orario: Fino al 27 marzo. Orario e luogo ancora da definire. | Relatore: Simon Henry (University of Ottawa)
Mathematics mini courses 2019-20
26/05/20 Program Extraction [1 ECTS Mat/01]
Orario: h 08:30  26-29 May, on-line | Relatore: Monika Seisenberger (Swansea University)
Mathematics mini courses 2019-20
Tot 2 Seminari

Offerta formativa

Condividi