Tutti i prossimi seminari - Mathematical logic - (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
24/08/20 Modal logics and intuitionistic logic [2 ETCS Mat/01]
Orario: Registered lectures (video & audio) | Relatore: Stefania Centrone (TU Berlin)
Mathematics mini courses 2019-20
24/08/20 The dynamical method in commutative algebra [2 ETCS Mat/01]
Orario: | Relatore: Ihsen Yengui (University of Sfax (Tunisia))
Mathematics mini courses 2019-20
Tot 4 Seminari

Offerta formativa

Condividi