Programme

‹ samedi 7 octobre 2017
09:00
10:00
11:00
12:00
›9:30 (1h30)
Set theory and univalent foundations and their relative positions in the foundations of mathematics
Mirna Dzamonja (East Anglia Univ., Norwich)
› G04
›11:00 (15min)
Pause
› G04
›11:15 (1h30)
Rationality in Mathematical Proofs
Yacin Hamami (Université Libre de Bruxelles) (joint work with Rebecca Morris, Stanford University)
› G04
Session
Discours
Logistique
Pause
Sortie
Personnes connectées : 1