Search results

24296 results

Active filters

Gérard Berry
Bug hunting : checking programs and circuits
Lecture
Event
Documents and media Download support …
10:30 to 11:30

Patrick Cousot
Program verification through abstract interpretation
Seminar
Event
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 …
11:30 to 12:30

Gilles Dowek
Proof and calculation, an intimate relationship
Seminar
Event
Abstract Gilles Dowek, professor at the École Polytechnique, is the author of the book "Les métamorphoses du calcul" (The Metamorphoses of Calculation), which won the Grand Prix de philosophie de l'Académie Française in 2007. He discusses the relationship …
12:00 to 13:00

Nicolas Grimal
The annals of Thutmosis III (continued) (8)
Seminar
Event
15:00 to 16:00

Nicolas Grimal
The Temple of Amon-Ra at Karnak : Heliopolis and the Empire (continued) (8)
Lecture
Event
16:30 to 17:30

Vahid Sandoghdar
Cavity-Free Efficient Coupling of Single Photons and Single Emitters
Seminar
Event
11:00 to 12:00

Serge Haroche
QND counting of 0 or 1 photon
Lecture
Event
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 …
09:30 to 10:30

Alain Connes
Spectral characterization of varieties (8)
Lecture
Event
14:30 to 15:30

Antoine Compagnon
Proust's Morals (7)
Lecture
Event
16:30 to 17:30

Edward Hughes
Perspectives on popular culture
Seminar
Event
17:30 to 18:30

Denis Knoepfler
A city at the heart of the ancient Mediterranean world : Eretria and its territory, history and institutions (1)
Lecture
Event
09:45 to 10:45

Denis Knoepfler
Commented reading of Greek inscriptions relating to the history of the island of Evia (1)
Seminar
Event
11:00 to 12:00

Michel Zink
Poetry as narrative (continued). News of love (7)
Seminar
Event
11:30 to 12:30

Michel Zink
Poetry as narrative (continued). News of love (8)
Lecture
Event
10:30 to 11:30

Armand de Ricqlès
The secondary evolution of tetrapods towards aquatic environments
2. Mesozoic forms (7)
Lecture
Event
16:00 to 17:00

Jean-Christophe Yoccoz
Uniformly hyperbolic cocycles (8)
Lecture
Event
10:00 to 11:00

Jean-Marie Durand
Divination and power in Mesopotamia (3)
Lecture
Event
16:00 to 17:00

Gabriele Veneziano
Standard Model Higgs and one-family Lagrangian. Tree-level predictions: one family
Lecture
Event
Documents and media Download support (1) Download support (2) …
09:45 to 10:45

Riccardo Barbieri
The Precision Tests
Seminar
Event
Documents and media Download support …
11:00 to 12:00

Jon Elster
Motivated beliefs (2)
Lecture
Event
Documents and media Download support …
15:00 to 16:00

Empirical content of economic theories
Werner Hildenbrand, chair European Chair
Opening lecture
Series

Pierre-Etienne Will
Engineers, philanthropists and militarists in Republican China (continued) (6)
Lecture
Event
14:00 to 15:00

Pierre Briant
Alexander the Great today (VI) : History of Alexander and history of European expansion (III) (2)
Lecture
Event
14:00 to 16:00

Gilles Veinstein
The working methods of ambassadors at the Porte through requests and writings from the 18th century (7)
Seminar
Event
16:00 to 17:00