SCHEDULE
Thursday, November 5, 2015
| Time |
Event |
|
|
09:30 - 11:00
|
Jean Petitot
"The unity of mathematics as a method of discovery" (amphi Buffon, Univ. Paris Diderot, 15 rue Hélène Brion, Paris 13e) |
|
|
11:00 - 11:15
|
Coffee break (amphi Buffon, Univ. Paris Diderot, 15 rue Hélène Brion, Paris 13e) |
|
|
11:15 - 12:45
|
Emily Grosholz
"Reference and analysis in analytic number theory" |
|
|
12:45 - 14:15
|
Lunch Break |
|
|
14:15 - 15:45
|
Ralf Krömer
"Recent developments in the philosophy of category theory" |
|
|
15:45 - 16:00
|
Coffee break (amphi Buffon, Univ. Paris Diderot, 15 rue Hélène Brion, Paris 13e) |
|
|
16:00 - 17:30
|
Brendan Larvor
"The logic of informal proofs" (amphi Buffon, Univ. Paris Diderot, 15 rue Hélène Brion, Paris 13e) |
|
| Time |
Event |
|
|
09:30 - 11:00
|
Brice Halimi
"Mathematical settings" (Salle de conférences, IPHST, 13, rue du Four, Paris 6e) |
|
|
11:00 - 11:15
|
Coffee break (Salle de conférences, IPHST, 13, rue du Four, Paris 6e) |
|
|
11:15 - 12:45
|
Marianna Antonutti Marfori
and Benedict Eastaugh
"What is ordinary mathematics?" (Salle de conférences, IPHST, 13, rue du Four, Paris 6e) |
|
|
12:45 - 14:15
|
Lunch |
|
|
14:15 - 15:45
|
Alejandro Pérez Carballo
"Mathematics without representation" (Salle de conférences, IPHST, 13, rue du Four, Paris 6e) |
|
|
15:45 - 16:00
|
Coffee break (Salle de conférences, IPHST, 13, rue du Four, Paris 6e) |
|
|
16:00 - 17:30
|
Julien Page
"Panorama de problèmes d’une approche contemporaine dialectique des théories de Galois" (Salle de conférences, IPHST, 13, rue du Four, Paris 6e) |
|
Saturday, November 7, 2015
| Time |
Event |
|
|
09:30 - 11:00
|
Sean Walsh
"Predicativity, the Russell-Myhill paradox, and Church’s intensional logic" (salle 454A, bâtiment Condorcet, Université Paris Diderot, 10 rue Alice Domon et Léonie Duquet, Paris 13e) |
|
|
11:00 - 11:15
|
Coffee break (salle 454A, bâtiment Condorcet, Université Paris Diderot, 10 rue Alice Domon et Léonie Duquet, Paris 13e) |
|
|
11:15 - 12:30
|
Giorgio Venturi
"On the naturalness of new axioms in set theory" (salle 454A, bâtiment Condorcet, Université Paris Diderot, 10 rue Alice Domon et Léonie Duquet, Paris 13e) |
|
|
