Programme

Mardi 28 juin « Computation et logique »

9h00-10h45 : Gilles Dowek, « Calculs et raisonnements de l'Antiquité à la théorie de la démonstration »

11h15-13h00 : Elaine Pimentel, « Théories mathématiques du point de vue de la théorie de la démonstration »

13h-14h30 : pause déjeuner

14h30-16h15 : Paolo Pistone, « Vers une correspondance Curry-Howard pour la computation approchée »

16h45-18h15 : Table ronde autour de l’ « Anthologie de la calculabilité » (Paola Cantù, Jean Mosconi, Michel Bourdeau)

Mercredi 29 juin « Computabilité et complexité »

9h30-11h30 : Natacha Portier, « Calcul et complexité : quésaco ? »

11h30-14h30 : temps pour groupe travail et pause déjeuner

14h30-16h30 : Olivier Bournez, « Calculs analogiques »

17h00-18h30 : Table ronde autour du « Précis philosophie de la logique et de philosophie des mathématique » (Pierre Wagner, Andy Arana, Jean-Baptiste Joinet, Alberto Naibo, ainsi que Francesca Poggiolesi et Marco Panza via Zoom)

Jeudi 30 juin « Niveaux d’abstraction: abstraction mathématique et computation, types et algorithmes »

9h00-10h30 : Paolo Mancosu, « Definitions by abstraction: Historical roots and logical foundations »

11h00-12h30 : Walter Dean, « Algorithmes et abstraction » 

12h30-14h30 : pause déjeuner

14h30-16h00 : Thomas Seiller, TBA

16h30-18h00 : Baptiste Mélès, « Usages de l'abstraction dans la programmation informatique »

Vendredi 1er juillet « Géométrie, constructivité, calcul »

8h45-10h30 : David Rabouin, « Géométrie, constructivité et calcul chez Leibniz »

10h45-12h30 : Sylviane Schwer, « Analyse quantitative des algorithmes au XIX° siècle : la géométrographie de Lemoine » 

12h30-14h00 : déjeuner

14h: départ en bus/navette pour la gare de Saint-Etienne Châteaucreux