International Conference "Ninth French Philosophy of Mathematics Workshop" - FPMW9 2017
4-7 Oct 2017 Nancy (France)
Login
Lost password ?
Create account
Main menu
Home
Submit
Planning
Map
Call for papers (.pdf)
Create login
HELP
@ Contact
Planning
Week
Wed. 04
Thu. 05
Fri. 06
Sat. 07
List
‹
Saturday, October 7, 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
9:30 - 11:00 (1h30)
Set theory and univalent foundations and their relative positions in the foundations of mathematics
G04
Mirna Dzamonja (East Anglia Univ., Norwich)
›11:00 (15min)
Break
› G04
11:00 - 11:15 (15min)
Break
G04
›11:15 (1h30)
Rationality in Mathematical Proofs
Yacin Hamami (Université Libre de Bruxelles) (joint work with Rebecca Morris, Stanford University)
› G04
11:15 - 12:45 (1h30)
Rationality in Mathematical Proofs
G04
Yacin Hamami (Université Libre de Bruxelles) (joint work with Rebecca Morris, Stanford University)
Session
Speech
Logistics
Break
Tour
Online user:
1
Loading...