Mardi 2 février, 9h30-12h30 et 14h-17h
Séminaire SPHERE, Histoire et Philosophie des Mathématiques
: : La démonstration de correction d’algorithmes : :
Karine Chemla (SPHERE, CNRS – Un. Paris Diderot)
Démonstration de la correction d’algorithmes dans les traditions anciennes
Jeremy Avigad (Dep. Philo. Hist. Math., Carnegie Mellon Univ. Microsoft Research – INRIA Joint Centre)
Formal verification of algorithms
Gilles Dowek (Ecole Polytechnique)
Axiomes v.s. algorithmes : qu’est-ce qu’une théorie ?
Benjamin Werner (INRIA –DR– et Professeur Chargé de Cours à l’Ecole Polytechnique)
Prouver des algorithmes pour prouver des théorèmes
________________________________________________________________
Mardi 2 février, 9h30-13h
Comprendre et renouveler les liens entre la recherche sur les services de santé et les sciences humaines et sociales
[ salle 437A Alechinsky ]
: : Séminaire d’écriture des membres permanents du séminaire : :
________________________________________________________________
Date du 4 février reportée au 7 mai, 9h30-18h
Histoire des sciences, histoire du texte
: : Journée sur la citation : :
Christophe Bréchet (Université Paris 10-Nanterre)
La citation dans l’Antiquité grecque
David Rabouin (SPHERE, CNRS & Un. Paris Diderot)
Comment Couturat a coupé les textes de Leibniz
Commentateur : Denis Vernant (UPMF Grenoble)
________________________________________________________________
Mardi 9 février, 9h30-18h
Comprendre et renouveler les liens entre la recherche sur les services de santé et les sciences humaines et sociales
[ !! séance annulée !! ]
: : Séminaire d’écriture des membres permanents du séminaire : :
________________________________________________________________
Mercredi 10 février, 10h-13h
Séminaire de travail "Mathématiques à l’âge classique"
: : Descartes et le De Solidorum Elementis : :
André Warusfel (Inspection générale de mathématiques)
Ce séminaire est en français.
________________________________________________________________
Vendredi 12 février, 14h-17h
Philosophie et physique
[ salle 483A-Malevitch ]
: : L’hypothèse du temps thermodynamique : :
Pierre Martinetti (Université de Göttingen, ENS)
________________________________________________________________
Lundi 15 février, 14h-17h40
Philosophie des mathématiques
[ salle 454A-Klee ]
Andrew Gelman ((Department of Statistics and Department of Political Science, Columbia University, New York, USA, Visiting Sciences Po, Paris, 2009-2010))
Philosophy and the practice of Bayesian statistics in the social sciences
Isabelle Drouet ((IHPST))
Causal inference from statistical data. What is new with Bayesian networks ?
________________________________________________________________
Mardi 16 février, 9h30-18h
Histoire des sciences en Asie
[ salle 366A-Klimt ]
: : 2e journée d’études sur les unités de mesure : :
Karine Chemla (SPHERE, CNRS)
Divers types de listes d’unités et leurs usages
Discutant : François Patte
Agathe Keller (SPHERE, CNRS)
Approches anthropologiques des unités de mesure en Asie, un compte rendu bibliographique
Emmanuel Poisson (SPHERE, Université de Paris-Diderot)
Outils et méthode de mesure de la rémunération réelle des mandarins au Dai Nam dans la première moitié du XIXe siècle
________________________________________________________________
Mercredi 17 février, 15-17h
Ethnomathématiques
[ EHESS ]
: : Quelques réflexions sur les contributions de Paulus GERDES : :
Ahmed Djebbar (Université Lille I)
________________________________________________________________
Jeudi 18 février, 10h-18h
Sciences et Philosophie de l’Antiquité à l’Age classique
[ salle 483A-Malevitch ]
: : Musique : :
Massimo Raffa (Catane)
The Tuning of the Kosmos : Reason, Perception and the Construction of Encyclopaedia in Ptolemy’s Harmonics
Anas Ghrab (Tunis)
Les intervalles musicaux dans l’œuvre de Safi al-Dīn al-Urmawī (XIIIe s.) et la frontière science/théorie de la musique
Matthieu Husson (Paris)
Deux exemples d’utilisation de mathématiques en musique dans le premier quatorzième siècle latin
Bernard Vitrac (Centre Louis Gernet, Paris)
De quelques anomalies terminologiques dans la théorie des proportions et des médiétés
________________________________________________________________
Vendredi 19 février, 15h
La cosmologie d’Averroès
[ ENS Ulm ]
: : L’unicité du monde : DC I 8-9 (suite) : :
Ahmad Hasnaoui (CNRS-UMR 7219)
________________________________________________________________
Jeudi 25 février, 14h30-19h
Sciences et savoirs de la Terre et du Ciel de l’Antiquité à Newton
[ salle 646A-Mondrian ]
: : Les sphères compensatrices d’Aristote : :
Taïeb Farhat (UMR 7219)
________________________________________________________________
vendredi 26 Février
Philia/ Dikè (II) : autour de la Politique d’Aristote
[ Institut de Géographie ]
10 H Pierre Pellegrin
L’amitié politique
11 H Pierre Destrée
Tragédie, liens familiaux et communauté politique : la philia dans la Poétique
14 H Esther Rogan
Atelier de lecture de textes
________________________________________________________________
samedi 27 Février
Philia/ Dikè (II) : autour de la Politique d’Aristote
[ Sorbonne ]
10 H Charlotte Murgier
La médiation du propre dans la théorie aristotélicienne de l’amitié
11 H Pierre Chiron
La philia dans la Rhétorique
__________________________________________________________________________________