Will Computers prove theorems?

Formalizing the Future: Lean’s Impact on Mathematics, Programming, and AI

Privacy, Verification, Robustness: A Cryptographer's perspective on ML

From probabilistic bisimulation to representation learning via metrics

Strachey Lecture: The Computer in the Sky

Strachey Lecture: From classical to non-classical stochastic shortest path problems

Strachey Lecture: How Can Algorithms Help to Protect our Privacy

Strachey Lecture: Use or Be Used - Regaining Control of AI

Strachey Lecture: Symmetry and Similarity

Strachey Lecture: Integrating Logic, Probability and Neuro-Symbolic Reasoning using Probabilistic Soft Logic

Strachey Lecture: How Are New Technologies Changing What We See?

Strachey Lecture: Mixed Signals

Strachey Lecture: The Quest for Truth in the Information Age

Strachey Lecture: Getting AI Agents to Interact and Collaborate with Us on Our Terms

Strachey Lecture: How Innovation Works - Serendipity, Energy and the Saving of Time

Strachey Lecture: Medicine and Physiology in the Age of Dynamics

Strachey Lecture: Can one Define Intelligence as a Computational Phenomenon?

Strachey Lecture: Doing for our robots what evolution did for us

Strachey Lecture: Steps Towards Super Intelligence

Strachey Lecture: Privacy-preserving analytics in, or out of, the cloud