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)
Mirna Dzamonja (East Anglia Univ., Norwich)
› G04
G04›11:15 (1h30)
Rationality in Mathematical Proofs
Yacin Hamami (Université Libre de Bruxelles) (joint work with Rebecca Morris, Stanford University)
Yacin Hamami (Université Libre de Bruxelles) (joint work with Rebecca Morris, Stanford University)
› G04
