Partenaires

logo Sphere
CNRS
Logo Université Paris-Diderot Logo Université Paris1-Panthéon-Sorbonne


Rechercher

Sur ce site

Sur le Web du CNRS


Accueil du site > Archives > Séminaires des années précédentes > Séminaires 2009-2010 : archives > Programme des séminaires de février 2010

Programme des séminaires de février 2010

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

[! Journée sur la citation reportée à une date ultérieure en raison de la grève SNCF !]

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"
[! changement de date ! et exceptionnellement salle 437A-Alechinsky !]

 :: 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

__________________________________________________________________________________