Programme
| Heures |
événement |
|
|
09:00 - 09:30
|
Mot de bienvenue et ouverture officielle (Valentin - 454A) |
|
|
09:30 - 11:00
|
Les scénarios: des esquisses aux topos et univers algébriques, l'analyse des théories par spécification des formes (Valentin - 454A) - René Guitart |
|
|
11:00 - 11:15
|
Pause café |
|
|
11:15 - 12:30
|
Philosophie de l'algèbre dynamique (Valentin - 454A) - Stefan Neuwirth |
|
|
12:30 - 14:00
|
Déjeuner |
|
|
14:00 - 15:30
|
"Lezioni di Calcolo Differenziale Absoluto" de Levi-Civita (Valentin - 454A) - Rossana Tazzioli |
|
|
15:30 - 15:45
|
Pause café |
|
|
15:45 - 17:00
|
Les définitions mathématiques et un nouveau problème pour le scepticisme pyrrhonien (Valentin - 454A) - Benjamin Wilck |
|
| Heures |
événement |
|
|
09:30 - 11:00
|
L'importance des trois points en mathématiques (Salle 236) - Jean-Paul Van Bendegem |
|
|
11:00 - 11:15
|
Pause café |
|
|
11:15 - 12:30
|
L'approche transcendantale du raisonnement mathématique d'Ernst Cassirer (Salle 236) - Francesca Biagoli |
|
|
12:30 - 14:00
|
Déjeuner |
|
|
14:00 - 15:30
|
Les ambivalences de l'algèbre homologique (Salle 236) - Jean-Benoît Bost |
|
|
15:30 - 15:45
|
Pause café |
|
|
15:45 - 17:00
|
La topologie de Poincaré à la croisée de la syntaxe et de la sémantique (Salle 236) - Sylvain Moraillon |
|
|
17:15 - 19:15
|
Réunion du GDR - Réunion des membres du GDR. |
|
|
20:30 - 23:00
|
Banquet |
|
| Heures |
événement |
|
|
09:30 - 10:45
|
Deux façons de penser aux structures (implicites) (Université Paris-Diderot, Bâtiment Halle aux Farines, salle 418C) - Georg Schiemer |
|
|
10:45 - 11:00
|
Pause café |
|
|
11:00 - 12:15
|
Le forcing en tant que pratique ensembliste (Université Paris-Diderot, Bâtiment Halle aux Farines, salle 418C) - Deborah Kant |
|
|
12:15 - 14:00
|
Cocktail |
|
|
