Résultats de recherche

Événement
Documents et médias Télécharger le support …
17:00 à 18:00
É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
Documents et médias Télécharger le support …
10:30 à 11:30
Événement
15:00 à 16:00
É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
14:30 à 15:30
Événement
16:30 à 17:30
Événement
17:30 à 18:30
Événement
11:30 à 12:30
Événement
10:00 à 11:00
Événement
16:00 à 17:00