Planning
Thursday, November 8, 2018
Time |
Event |
|
09:00 - 09:30
|
Welcome and official opening (Valentin - 454A) |
|
09:30 - 11:00
|
Scenarios: from sketches to toposes and algebraic universes, the analysis of theories by specifying forms (Valentin - 454A) - René Guitart |
|
11:00 - 11:15
|
Coffee break |
|
11:15 - 12:30
|
Philosophy of dynamic algebra (Valentin - 454A) - Stefan Neuwirth |
|
12:30 - 14:00
|
Lunch |
|
14:00 - 15:30
|
Levi-Civita's "Lezioni di Calcolo Differenziale Absoluto" (Valentin - 454A) - Rossana Tazzioli |
|
15:30 - 15:45
|
Coffee break |
|
15:45 - 17:00
|
Mathematical Definitions and a New Problem for Pyrrhonian Scepticism (Valentin - 454A) - Benjamin Wilck |
|
Time |
Event |
|
09:30 - 11:00
|
The Importance of three dots in Mathematics (Salle 236) - Jean-Paul Van Bendegem |
|
11:00 - 11:15
|
Coffee break |
|
11:15 - 12:30
|
Ernst Cassirer's transcendantal approach to mathematical reasoning (Salle 236) - Francesca Biagoli |
|
12:30 - 14:00
|
Lunch |
|
14:00 - 15:30
|
The Ambivalences of Homological Algèbre (Salle 236) - Jean-Benoît Bost |
|
15:30 - 15:45
|
Coffee break |
|
15:45 - 17:00
|
Poincaré's topology at the interplay between syntax and semantics (Salle 236) - Sylvain Moraillon |
|
17:15 - 19:15
|
Meeting of the GDR - Meeting of the members of the GDR. |
|
20:30 - 23:00
|
Banquet |
|
Saturday, November 10, 2018
Time |
Event |
|
09:30 - 10:45
|
Two ways to think about (implicit) structure (Université Paris-Diderot, Bâtiment Halle aux Farines, salle 418C) - Georg Schiemer |
|
10:45 - 11:00
|
Coffee break |
|
11:00 - 12:15
|
Forcing as a part of set-theoretic practice (Université Paris-Diderot, Bâtiment Halle aux Farines, salle 418C) - Deborah Kant |
|
12:15 - 14:00
|
Cocktail |
|
|