Theoretically Speaking

Theoretically Speaking

Theoretically Speaking is a lecture series highlighting exciting advances in theoretical computer science for a broad general audience. 

Encrypting to a Mathematical Fact | Theoretically Speaking Encrypting to a Mathematical Fact_website test
|
Encrypting to a Mathematical Fact | Theoretically Speaking

Calvin Lab auditorium

Speakers: Sanjam Garg (UC Berkeley)
ofEncrypting to a Mathematical Fact | Theoretically Speaking
CANCELLED: Theoretically Speaking | Umesh Vazirani QUANTUM POD LOGO
|
CANCELLED: Theoretically Speaking | Umesh Vazirani

Calvin Lab auditorium

Speakers: Umesh Vazirani (Simons Institute, UC Berkeley)
ofCANCELLED: Theoretically Speaking | Umesh Vazirani
AI’s Models of the World, and Ours | Theoretically Speaking Jon Kleinberg Lecture Image
|
AI’s Models of the World, and Ours | Theoretically Speaking

Calvin Lab auditorium

Speakers: Jon Kleinberg (Cornell University)
ofAI’s Models of the World, and Ours | Theoretically Speaking Video
The Move Toward AGI: Why Large Language Models Surprised Almost Everyone, and What’s Coming Next | Theoretically Speaking The Move Toward AGI / Theoretically Speaking image modified for web page 4
|
The Move Toward AGI: Why Large Language Models Surprised Almost Everyone, and What’s Coming Next | Theoretically Speaking

Calvin Lab auditorium

Speakers: Anil Ananthaswamy (Simons Institute science communicator in residence) , Dileep George (Google DeepMind) , Azalia Mirhoseini (Stanford) , Luke Zettlemoyer (University of Washington and Meta)
ofThe Move Toward AGI: Why Large Language Models Surprised Almost Everyone, and What’s Coming Next | Theoretically Speaking
What Does Machine Learning Have to Offer Mathematics? | Theoretically Speaking Jordan Ellenberg TS_WEBSITE
|
What Does Machine Learning Have to Offer Mathematics? | Theoretically Speaking

Calvin Lab auditorium

Speakers: Jordan Ellenberg (University of Wisconsin–Madison)
ofWhat Does Machine Learning Have to Offer Mathematics? | Theoretically Speaking Video
Communicating Algorithmic Science to the Public | Theoretically Speaking Communicating Algorithmic Science background TE lecture graphic
|
Communicating Algorithmic Science to the Public | Theoretically Speaking

Calvin Lab auditorium

Speakers: Alex Bellos , Ananyo Bhattacharya , Ben Brubaker , Sampath Kannan (moderator)
ofCommunicating Algorithmic Science to the Public | Theoretically Speaking
Machine-Checked Proofs and the Rise of Formal Methods in Mathematics | Theoretically Speaking Leonardo de Moura_Web Banner
|
Machine-Checked Proofs and the Rise of Formal Methods in Mathematics | Theoretically Speaking

Calvin Lab auditorium

Speakers: Leonardo de Moura (AWS)
ofMachine-Checked Proofs and the Rise of Formal Methods in Mathematics | Theoretically Speaking Video
Scaling Blockchains with STARKs (Scalable, Transparent ARguments of Knowledge) | Theoretically Speaking Theoretically Speaking_Eli Ben-Sasson_Starkware_X_WIDE_Banner
|
Scaling Blockchains with STARKs (Scalable, Transparent ARguments of Knowledge) | Theoretically Speaking

Calvin Lab auditorium

Speakers: Eli Ben-Sasson (StarkWare)
ofScaling Blockchains with STARKs (Scalable, Transparent ARguments of Knowledge) | Theoretically Speaking
Building Human Intelligence at Scale, to Save the Next Generation from ChatGPT | Theoretically Speaking Theoretically Speaking — Building Human Intelligence at Scale, To Save the Next Generation From ChatGPT Web Image
|
Building Human Intelligence at Scale, to Save the Next Generation from ChatGPT | Theoretically Speaking

Calvin Lab Auditorium

Speakers: Po-Shen Loh (Carnegie Mellon University)
ofBuilding Human Intelligence at Scale, to Save the Next Generation from ChatGPT | Theoretically Speaking Video
What Do the Theory of Computing and the Movies Have in Common? | Theoretically Speaking Alvy Ray Smith - Theoretically Speaking Banner 4
|
What Do the Theory of Computing and the Movies Have in Common? | Theoretically Speaking

David Brower Center — Goldman Theater

Speakers: Alvy Ray Smith (Co-Founder of Pixar)
ofWhat Do the Theory of Computing and the Movies Have in Common? | Theoretically Speaking Video
Series
Richard M. Karp Distinguished Lectures
Theoretically Speaking
Breakthroughs
Quantum Colloquium
All Public Lectures