- 11h : Jean-Jacques Szczeciniarz (Université Paris7-Denis Diderot), Démonstrations informelles, démonstrations conceptuelles, définitions en mathématiques
- 14h30 : Sylvain Moraillon (Archives Henri-Poincaré - Philosophie et Recherches sur les Sciences et les Technologies), Mathematical understanding according to Poincaré : topology as a case study
- 17h : (cycle des Grandes conférences des Archives Poincaré) Michael Detlefsen (Université Notre-Dame, département de philosophie), Formalism: Consistency, Rigor and the Observation of Reasoning