Share Facebook LinkedIn Bluesky Threads Copy url Search results Search 28032 results Filters Content type Content type Lessons (23955) News (1713) People (1359) Chair (359) Editions (357) Page (230) Research (27) Library (14) Annual Chair (12) Award (6) Event Patrick Cousot Program verification through abstract interpretation Seminar Abstract Patrick Cousot, professor at the École Normale Supérieure, presented abstract interpretation, which he and his team have been developing for thirty years. The idea is to symbolically compute the program according to the same execution laws, but … 22 Feb 2008 11:30 to 12:30 Event Gérard Berry Bug hunting : checking programs and circuits Lecture Documents and media Download support … 22 Feb 2008 10:30 to 11:30 Event Nicolas Grimal The annals of Thutmosis III (continued) (8) Seminar 25 Feb 2008 15:00 to 16:00 Event Nicolas Grimal The Temple of Amon-Ra at Karnak : Heliopolis and the Empire (continued) (8) Lecture 25 Feb 2008 16:30 to 17:30 Event Serge Haroche QND counting of 0 or 1 photon Lecture The fifth lesson was devoted to microwave cavity electrodynamics experiments detecting, but not destroying, trapped single photons. The field probes are Rydberg atoms passing one by one through the C cavity. The field leaves an imprint on the phase of a … 25 Feb 2008 09:30 to 10:30 Event Vahid Sandoghdar Cavity-Free Efficient Coupling of Single Photons and Single Emitters Seminar 25 Feb 2008 11:00 to 12:00 Event Alain Connes Spectral characterization of varieties (8) Lecture 28 Feb 2008 14:30 to 15:30 Event Edward Hughes Perspectives on popular culture Seminar 19 Feb 2008 17:30 to 18:30 Event Michel Zink Poetry as narrative (continued). News of love (8) Lecture 19 Feb 2008 10:30 to 11:30 Event Michel Zink Poetry as narrative (continued). News of love (7) Seminar 19 Feb 2008 11:30 to 12:30 Event Antoine Compagnon Proust's Morals (7) Lecture 19 Feb 2008 16:30 to 17:30 Event Denis Knoepfler A city at the heart of the ancient Mediterranean world : Eretria and its territory, history and institutions (1) Lecture 22 Feb 2008 09:45 to 10:45 Event Denis Knoepfler Commented reading of Greek inscriptions relating to the history of the island of Evia (1) Seminar 22 Feb 2008 11:00 to 12:00 Event Armand de Ricqlès The secondary evolution of tetrapods towards aquatic environments 2. Mesozoic forms (7) Lecture 22 Feb 2008 16:00 to 17:00 Event Jean-Christophe Yoccoz Uniformly hyperbolic cocycles (8) Lecture 26 Feb 2008 10:00 to 11:00 Event Gabriele Veneziano Standard Model Higgs and one-family Lagrangian. Tree-level predictions: one family Lecture Documents and media Download support (1) Download support (2) … 22 Feb 2008 09:45 to 10:45 Event Riccardo Barbieri The Precision Tests Seminar Documents and media Download support … 22 Feb 2008 11:00 to 12:00 Event Jon Elster Motivated beliefs (2) Lecture Documents and media Download support … 21 Feb 2008 15:00 to 16:00 Event Jean-Marie Durand Divination and power in Mesopotamia (3) Lecture 21 Feb 2008 16:00 to 17:00 Event Pierre Briant Alexander the Great today (VI) : History of Alexander and history of European expansion (III) (2) Lecture 21 Feb 2008 14:00 to 16:00 Event Pierre-Etienne Will Engineers, philanthropists and militarists in Republican China (continued) (6) Lecture 20 Feb 2008 14:00 to 15:00 Event Roger Guesnerie Growth models Lecture Documents and media Download support … 20 Feb 2008 16:30 to 17:30 Event Jacques Bouveresse What is a philosophical system (continued) (7) Lecture 20 Feb 2008 14:00 to 15:00 Event Philippe Kourilsky Immune systems in the evolution of species (4) Lecture Documents and media Download support … 20 Feb 2008 17:00 to 18:00 Pagination First page « First Previous page ‹‹ … Page 1124 Page 1125 Page 1126 Page 1127 Page 1128 Page 1129 Page 1130 Page 1131 Page 1132 … Next page ›› Last page Last »
Event Patrick Cousot Program verification through abstract interpretation Seminar Abstract Patrick Cousot, professor at the École Normale Supérieure, presented abstract interpretation, which he and his team have been developing for thirty years. The idea is to symbolically compute the program according to the same execution laws, but … 22 Feb 2008 11:30 to 12:30
Event Gérard Berry Bug hunting : checking programs and circuits Lecture Documents and media Download support … 22 Feb 2008 10:30 to 11:30
Event Nicolas Grimal The Temple of Amon-Ra at Karnak : Heliopolis and the Empire (continued) (8) Lecture 25 Feb 2008 16:30 to 17:30
Event Serge Haroche QND counting of 0 or 1 photon Lecture The fifth lesson was devoted to microwave cavity electrodynamics experiments detecting, but not destroying, trapped single photons. The field probes are Rydberg atoms passing one by one through the C cavity. The field leaves an imprint on the phase of a … 25 Feb 2008 09:30 to 10:30
Event Vahid Sandoghdar Cavity-Free Efficient Coupling of Single Photons and Single Emitters Seminar 25 Feb 2008 11:00 to 12:00
Event Michel Zink Poetry as narrative (continued). News of love (8) Lecture 19 Feb 2008 10:30 to 11:30
Event Michel Zink Poetry as narrative (continued). News of love (7) Seminar 19 Feb 2008 11:30 to 12:30
Event Denis Knoepfler A city at the heart of the ancient Mediterranean world : Eretria and its territory, history and institutions (1) Lecture 22 Feb 2008 09:45 to 10:45
Event Denis Knoepfler Commented reading of Greek inscriptions relating to the history of the island of Evia (1) Seminar 22 Feb 2008 11:00 to 12:00
Event Armand de Ricqlès The secondary evolution of tetrapods towards aquatic environments 2. Mesozoic forms (7) Lecture 22 Feb 2008 16:00 to 17:00
Event Gabriele Veneziano Standard Model Higgs and one-family Lagrangian. Tree-level predictions: one family Lecture Documents and media Download support (1) Download support (2) … 22 Feb 2008 09:45 to 10:45
Event Riccardo Barbieri The Precision Tests Seminar Documents and media Download support … 22 Feb 2008 11:00 to 12:00
Event Jon Elster Motivated beliefs (2) Lecture Documents and media Download support … 21 Feb 2008 15:00 to 16:00
Event Pierre Briant Alexander the Great today (VI) : History of Alexander and history of European expansion (III) (2) Lecture 21 Feb 2008 14:00 to 16:00
Event Pierre-Etienne Will Engineers, philanthropists and militarists in Republican China (continued) (6) Lecture 20 Feb 2008 14:00 to 15:00
Event Roger Guesnerie Growth models Lecture Documents and media Download support … 20 Feb 2008 16:30 to 17:30
Event Jacques Bouveresse What is a philosophical system (continued) (7) Lecture 20 Feb 2008 14:00 to 15:00
Event Philippe Kourilsky Immune systems in the evolution of species (4) Lecture Documents and media Download support … 20 Feb 2008 17:00 to 18:00