vendredi 7 octobre
9h30 – 12h, salle Gris, 734A
Mathématiques "arabes"
Bijan Vahabzadeh (SPHERE-CHSPAM)
Le Commentaire sur le rapport d’Ibn Mu’adh : Euclide par lui-même ?
vendredi 21 octobre
9h30 – 18h30, salle Klimt, 366A
Journées interdoctorants : Vérités et preuves
9h30–10h30 : Maël Pégny
Le principe physique de Church-Turing et le No Supersearch Principle d’Aaronson : une comparaison
10h30–10h50 : discussion
10h50–11h : pause
11h–12h : Davide Crippa
When things are not so simple. Simplicity in cartesian geometry
12h00–12h20 : discussion
12h20–12h40 première discussion sur l’organisation du colloque final.
12h40–14h00 déjeuner
14h–15h : Manuel Gustavo Isaac
Syntaxe, Sémantique ; Intension, Extension : De la dichotomisation via l’alternative. Le cas Frege-Husserl
15h–15h20 : discussion
15h20–16h20 : Sylvain Cabanacq
Le point de vue des monades, entre algèbre homologique et informatique théorique
16h20–16h40 : discussion
16h40–16h50 : pause
16h50–17h50 : Méven Cadet
17h50–18h10 : discussion
18h10–18h30 Deuxième discussion sur l’organisation du colloque final.