Résultats de recherche

25326 résultats

Filtres actifs

Jun Ye
Precision Quantum Metrology with Lattice-Confined Ultracold Atoms
Séminaire
Événement
11:00 à 12:00

Alain Connes
Caractérisation spectrale des variétés (9)
Cours
Événement
14:30 à 15:30

Raymonde Coudert
Fables animales proustiennes
Séminaire
Événement
17:30 à 18:30

Antoine Compagnon
Morales de Proust (8)
Cours
Événement
16:30 à 17:30

Denis Knoepfler
Lecture commentée d'inscriptions grecques en relation avec l'histoire de l'île d'Eubée (2)
Séminaire
Événement
11:00 à 12:00

Modules de Fredholm multiplicatifs sur S¹
Alain Connes, chaire Analyse et géométrie
Cours
Cycle
La théorie homologique duale de la K théorie topologique, appelée K homologie et notée K i  (X) (i = 0,1) se décrit (grâce aux travaux de Atiyah, Brown-Douglas-Fillmore et Kasparov) à partir de la notion de module de Fredholm sur l'algèbre A  = C (X) des …

Denis Knoepfler
Une cité au cœur du monde méditerranéen antique : Érétrie et son territoire, histoire et institutions (2)
Cours
Événement
09:45 à 10:45

Edouard Bard
La grande coupure climatique de l'Eocène-Oligocène
Cours
Événement
15:00 à 16:00

Riccardo Barbieri
Higgs-less models
Séminaire
Événement
Documents et médias Télécharger le support …
11:00 à 12:00

Jean-Marie Durand
Divination et pouvoir en Mésopotamie (4)
Cours
Événement
16:00 à 17:00

Gabriele Veneziano
Further consequences of the Standard Model. Adding families: GIM mechanism and CKM matrix
Cours
Événement
Documents et médias Télécharger le support (1) Télécharger le support (2) …
09:45 à 10:45

Pierre Briant
Alexandre le Grand aujourd'hui (VI) : Histoire d'Alexandre et histoire de l'expansion européenne (III) (3)
Cours
Événement
14:00 à 16:00

Pierre-Etienne Will
Ingénieurs, philanthropes et militaristes dans la Chine républicaine (suite) (7)
Cours
Événement
14:00 à 15:00

Fabrice Pataut
La philosophie analytique doit-elle être systématique ? Davidson, Dummett, Williams
Séminaire
Événement
16:30 à 17:30

Philippe Kourilsky
Les systèmes immunitaires dans l'évolution des espèces (5)
Cours
Événement
Documents et médias Télécharger le support …
17:00 à 18:00

Jacques Bouveresse
Qu'est-ce qu'un système philosophique ? (suite) (8)
Cours
Événement
14:00 à 15:00

Littératures de la France médiévale
Michel Zink, chaire Littératures de la France médiévale
Leçon inaugurale
Cycle

Gilles Veinstein
Istanbul ottomane, carrefour diplomatique (XVe-XVIIIe siècles) (8)
Cours
Événement
14:30 à 15:30

Gilles Veinstein
Les méthodes de travail des ambassadeurs à la Porte à travers les requêtes et écrits du XVIIIe siècle (8)
Séminaire
Événement
16:00 à 17:00

Patrick Cousot
La vérification des programmes par interprétation abstraite
Séminaire
Événement
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 …
11:30 à 12:30

Gilles Dowek
Preuve et calcul, des rapports intimes
Séminaire
Événement
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 …
12:00 à 13:00

Gérard Berry
À la chasse aux bugs : la vérification des programmes et circuits
Cours
Événement
Documents et médias Télécharger le support …
10:30 à 11:30

Nicolas Grimal
Le temple d'Amon-Rê à Karnak : Héliopolis et l'Empire (suite) (8)
Cours
Événement
16:30 à 17:30

Nicolas Grimal
Les annales de Thoutmosis III (suite) (8)
Séminaire
Événement
15:00 à 16:00