mercredi 19 octobre 2022
| Heures | événement | (+) |
| 09:00 - 10:30 | Qu'est-ce que la combinatoire chez Leibniz ? - Arilès Remaki (SPHERE, Paris) |
|
| 10:30 - 11:00 | Pause café | |
| 11:00 - 12:30 | The Multiverse Operator, A generalisation of the set theoretic multiverse - Matteo de Ceglie (Salzburg University) |
|
| 12:30 - 14:00 | Pause déjeuner | |
| 14:00 - 15:30 | Intuitionistic inductive definitions - Mark van Atten (CNRS, Ecole Normale Supérieure) |
|
| 15:30 - 16:00 | Pause | |
| 16:00 - 17:30 | Varieties of Mathematical Understanding - Jessica Carter (Université d'Aarhus) |
|
jeudi 20 octobre 2022
| Heures | événement | (+) |
| 09:00 - 10:30 | Arbitrary Abstraction and Logicality - Ludovica Conti (Northwestern Italian Philosophy Consortium) |
|
| 10:30 - 11:00 | Pause café | |
| 11:00 - 12:30 | Functions - Göran Sundholm (Université de Leiden) |
|
| 12:30 - 14:00 | Pause déjeuner | |
| 14:00 - 15:30 | A brief overview of tropical geometry - Erwan Brugallé (Nantes Université) |
|
| 15:30 - 16:00 | Pause | |
| 16:00 - 17:30 | Reasoning by Analogy in Mathematical Practice - Francesco Nappo and Nicolò Cangiotti (Politecnico di Milano) |
|
| 17:45 - 19:00 | Réunion des membres du GDR Philosophie des Mathématiques |
vendredi 21 octobre 2022
| Heures | événement | (+) |
| 09:00 - 10:30 | In which sense H. Weyl’s “Creative definitions” generalizes Peano school’s “Definitions by abstraction” ? - Jean-Baptiste Joinet (Université Lyon III Jean Moulin) |
|
| 10:30 - 11:00 | Pause café | |
| 11:00 - 12:30 | The Theory of Grossone and the Continuum Problem - Claudio Ternullo (Universitat de Barcelona) and Yaroslav Sergeyev (Università della Calabria) |
|
