25505 résultats
Filtres actifs
Événement
Documents et médias Télécharger le support …
17:00 à 18:00
É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
Littératures de la France médiévale
Michel Zink, chaire Littératures de la France médiévale
Leçon inaugurale
Cycle
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 …
Événement
14:30 à 15:30
Événement
16:00 à 17:00
Événement
Documents et médias Télécharger le support …
10:30 à 11:30
É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
É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
Événement
16:30 à 17:30
Événement
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 …
09:30 à 10:30
Événement
11:00 à 12:00
Événement
10:30 à 11:30
Événement
11:00 à 12:00
Événement
11:30 à 12:30
Événement
16:00 à 17:00
Événement
Documents et médias Télécharger le support (1) Télécharger le support (2) …
09:45 à 10:45
Riccardo Barbieri
The Precision Tests
Riccardo Barbieri
The Precision Tests
Séminaire
Événement
Documents et médias Télécharger le support …
11:00 à 12:00