Résultats de recherche

24855 résultats

Filtres actifs

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

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

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

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

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
Les annales de Thoutmosis III (suite) (8)
Séminaire
Événement
15:00 à 16:00

La notion de thème et son évolution
Pierre Boulez, chaire Invention, technique et langage en musique
Cours
Cycle
Pour décrire le langage musical, on s'attache en premier lieu à décrire des systèmes cohérents d'organisation : système modal, système tonal, système non tonal — ou toute autre figuration d'une hiérarchie préexistante qui se manifeste par l'œuvre, mais …

Possibilités de composition « automatique »
Pierre Boulez, chaire Invention, technique et langage en musique
Séminaire
Cycle
Établir la partition Buts Partition ouverte (générative) Alphabet défini par : hauteur : échelle, intervalle ; durée : proportion, vitesse ; timbre : composants harmoniques, proportion entre ces composants 
et leur évolution ; amplitude : définition des …

Serge Haroche
Comptage QND de 0 ou 1 photon
Cours
É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

Vahid Sandoghdar
Cavity-Free Efficient Coupling of Single Photons and Single Emitters
Séminaire
Événement
11:00 à 12:00

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

Edward Hughes
Perspectives sur la culture populaire
Séminaire
Événement
17:30 à 18:30

Armand de Ricqlès
L'évolution secondaire des tétrapodes vers les milieux aquatiques
2. Les formes mésozoïques (7)
Cours
Événement
16:00 à 17:00

Michel Zink
La poésie comme récit (suite). Des nouvelles de l'amour (7)
Séminaire
Événement
11:30 à 12:30

Michel Zink
La poésie comme récit (suite). Des nouvelles de l'amour (8)
Cours
Événement
10:30 à 11:30

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

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

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

Jean-Christophe Yoccoz
Cocycles uniformément hyperboliques (8)
Cours
Événement
10:00 à 11:00

Gabriele Veneziano
Standard Model Higgs and one-family Lagrangian. Tree-level predictions: one family
Cours
Événement
Documents et médias Télécharger le support (1) Télécharger le support (2) …
09:45 à 10:45