Partager Facebook X (ex-Twitter) Linkedin Copier le lien Résultats de recherche Rechercher 22957 résultats Filtres Type de contenu Close Type de contenu Type de contenu (-) Enseignements (22957) Actualité (1445) Personne (1295) Chaire (351) Éditions (325) Page (225) Recherche (26) Bibliothèque (14) Chaire annuelle (12) Prix (6) Filtres actifs Enseignements Événement Gilles Dowek Preuve et calcul, des rapports intimes Séminaire Résumé Gilles Dowek, professeur à l’École Polytechnique, est l’auteur du livre « Les métamorphoses du calcul », Grand Prix de philosophie de l’Académie Française en 2007. Il a discuté les relations entre calcul et preuve, évidemment centrales pour la … 22 fév 2008 12:00 à 13:00 Événement Gérard Berry À la chasse aux bugs : la vérification des programmes et circuits Cours Documents et médias Télécharger le support … 22 fév 2008 10:30 à 11:30 Événement Patrick Cousot La vérification des programmes par interprétation abstraite Séminaire Résumé Patrick Cousot, professeur à l’École Normale Supérieure, a présenté l’interprétation abstraite, qu’il développe avec son équipe depuis trente ans. L’idée est de faire calculer symboliquement le programme selon les mêmes lois d’exécution mais sur … 22 fév 2008 11:30 à 12:30 Événement Nicolas Grimal Le temple d'Amon-Rê à Karnak : Héliopolis et l'Empire (suite) (8) Cours 25 fév 2008 16:30 à 17:30 Événement Nicolas Grimal Les annales de Thoutmosis III (suite) (8) Séminaire 25 fév 2008 15:00 à 16:00 Événement Vahid Sandoghdar Cavity-Free Efficient Coupling of Single Photons and Single Emitters Séminaire 25 fév 2008 11:00 à 12:00 Événement Serge Haroche Comptage QND de 0 ou 1 photon Cours Résumé La cinquième leçon a été consacrée aux expériences d’électrodynamique en cavité micro-onde détectant, sans les détruire, des photons uniques piégés. Les sondes du champ sont des atomes de Rydberg traversant un à un la cavité C. Le champ laisse une … 25 fév 2008 09:30 à 10:30 Événement Alain Connes Caractérisation spectrale des variétés (8) Cours 28 fév 2008 14:30 à 15:30 Événement Edward Hughes Perspectives sur la culture populaire Séminaire 19 fév 2008 17:30 à 18:30 Événement Antoine Compagnon Morales de Proust (7) Cours 19 fév 2008 16:30 à 17:30 Événement Michel Zink La poésie comme récit (suite). Des nouvelles de l'amour (7) Séminaire 19 fév 2008 11:30 à 12:30 Événement Michel Zink La poésie comme récit (suite). Des nouvelles de l'amour (8) Cours 19 fév 2008 10:30 à 11:30 Événement Armand de Ricqlès L'évolution secondaire des tétrapodes vers les milieux aquatiques 2. Les formes mésozoïques (7) Cours 22 fév 2008 16:00 à 17:00 Événement Denis Knoepfler Une cité au cœur du monde méditerranéen antique : Érétrie et son territoire, histoire et institutions (1) Cours 22 fév 2008 09:45 à 10:45 Événement Denis Knoepfler Lecture commentée d'inscriptions grecques en relation avec l'histoire de l'île d'Eubée (1) Séminaire 22 fév 2008 11:00 à 12:00 Événement Jean-Christophe Yoccoz Cocycles uniformément hyperboliques (8) Cours 26 fév 2008 10:00 à 11:00 Événement Pierre Briant Alexandre le Grand aujourd'hui (VI) : Histoire d'Alexandre et histoire de l'expansion européenne (III) (2) Cours 21 fév 2008 14:00 à 16:00 Événement Gabriele Veneziano Standard Model Higgs and one-family Lagrangian. Tree-level predictions: one family Cours Documents et médias Télécharger le support (1) Télécharger le support (2) … 22 fév 2008 09:45 à 10:45 Événement Riccardo Barbieri The Precision Tests Séminaire Documents et médias Télécharger le support … 22 fév 2008 11:00 à 12:00 Événement Jon Elster Les croyances motivées (2) Cours Documents et médias Télécharger le support … 21 fév 2008 15:00 à 16:00 Événement Jean-Marie Durand Divination et pouvoir en Mésopotamie (3) Cours 21 fév 2008 16:00 à 17:00 Événement Philippe Kourilsky Les systèmes immunitaires dans l'évolution des espèces (4) Cours Documents et médias Télécharger le support … 20 fév 2008 17:00 à 18:00 Événement Jocelyn Benoist Le prix du réalisme Séminaire 20 fév 2008 16:30 à 17:30 Événement Roger Guesnerie Les modèles de croissance Cours Documents et médias Télécharger le support … 20 fév 2008 16:30 à 17:30 Pagination Première page Page précédente … Page 933 Page 934 Page 935 Page 936 Page courante 937 Page 938 Page 939 Page 940 Page 941 … Page suivante Dernière page
Événement Gilles Dowek Preuve et calcul, des rapports intimes Séminaire Résumé Gilles Dowek, professeur à l’École Polytechnique, est l’auteur du livre « Les métamorphoses du calcul », Grand Prix de philosophie de l’Académie Française en 2007. Il a discuté les relations entre calcul et preuve, évidemment centrales pour la … 22 fév 2008 12:00 à 13:00
Événement Gérard Berry À la chasse aux bugs : la vérification des programmes et circuits Cours Documents et médias Télécharger le support … 22 fév 2008 10:30 à 11:30
Événement Patrick Cousot La vérification des programmes par interprétation abstraite Séminaire Résumé Patrick Cousot, professeur à l’École Normale Supérieure, a présenté l’interprétation abstraite, qu’il développe avec son équipe depuis trente ans. L’idée est de faire calculer symboliquement le programme selon les mêmes lois d’exécution mais sur … 22 fév 2008 11:30 à 12:30
Événement Nicolas Grimal Le temple d'Amon-Rê à Karnak : Héliopolis et l'Empire (suite) (8) Cours 25 fév 2008 16:30 à 17:30
Événement Nicolas Grimal Les annales de Thoutmosis III (suite) (8) Séminaire 25 fév 2008 15:00 à 16:00
Événement Vahid Sandoghdar Cavity-Free Efficient Coupling of Single Photons and Single Emitters Séminaire 25 fév 2008 11:00 à 12:00
Événement Serge Haroche Comptage QND de 0 ou 1 photon Cours Résumé La cinquième leçon a été consacrée aux expériences d’électrodynamique en cavité micro-onde détectant, sans les détruire, des photons uniques piégés. Les sondes du champ sont des atomes de Rydberg traversant un à un la cavité C. Le champ laisse une … 25 fév 2008 09:30 à 10:30
Événement Michel Zink La poésie comme récit (suite). Des nouvelles de l'amour (7) Séminaire 19 fév 2008 11:30 à 12:30
Événement Michel Zink La poésie comme récit (suite). Des nouvelles de l'amour (8) Cours 19 fév 2008 10:30 à 11:30
Événement Armand de Ricqlès L'évolution secondaire des tétrapodes vers les milieux aquatiques 2. Les formes mésozoïques (7) Cours 22 fév 2008 16:00 à 17:00
Événement Denis Knoepfler Une cité au cœur du monde méditerranéen antique : Érétrie et son territoire, histoire et institutions (1) Cours 22 fév 2008 09:45 à 10:45
Événement Denis Knoepfler Lecture commentée d'inscriptions grecques en relation avec l'histoire de l'île d'Eubée (1) Séminaire 22 fév 2008 11:00 à 12:00
Événement Jean-Christophe Yoccoz Cocycles uniformément hyperboliques (8) Cours 26 fév 2008 10:00 à 11:00
Événement Pierre Briant Alexandre le Grand aujourd'hui (VI) : Histoire d'Alexandre et histoire de l'expansion européenne (III) (2) Cours 21 fév 2008 14:00 à 16:00
Événement Gabriele Veneziano Standard Model Higgs and one-family Lagrangian. Tree-level predictions: one family Cours Documents et médias Télécharger le support (1) Télécharger le support (2) … 22 fév 2008 09:45 à 10:45
Événement Riccardo Barbieri The Precision Tests Séminaire Documents et médias Télécharger le support … 22 fév 2008 11:00 à 12:00
Événement Jon Elster Les croyances motivées (2) Cours Documents et médias Télécharger le support … 21 fév 2008 15:00 à 16:00
Événement Philippe Kourilsky Les systèmes immunitaires dans l'évolution des espèces (4) Cours Documents et médias Télécharger le support … 20 fév 2008 17:00 à 18:00
Événement Roger Guesnerie Les modèles de croissance Cours Documents et médias Télécharger le support … 20 fév 2008 16:30 à 17:30