Theoretically Speaking

Theoretically Speaking

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

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
Theoretically Speaking at the Brower Center — PACE Tech: Physics and Algorithms Coupled to Enhance Technology Theoretically Speaking Banner
|
Theoretically Speaking at the Brower Center — PACE Tech: Physics and Algorithms Coupled to Enhance Technology

David Brower Center, 2150 Allston Way, Berkeley, CA 94704
Seating is first come, first served.

Speakers: Yonina Eldar (Weizmann Institute of Science)
ofTheoretically Speaking at the Brower Center — PACE Tech: Physics and Algorithms Coupled to Enhance Technology Video
Theoretically Speaking — Adversarial Examples in Deep Learning Adversarial Examples in Deep Learning / Theoretically Speaking Banner
|
Theoretically Speaking — Adversarial Examples in Deep Learning

Zoom Webinar

Speakers: Anil Ananthaswamy (freelance journalist, moderator)
ofTheoretically Speaking — Adversarial Examples in Deep Learning Video
Theoretically Speaking — Noncausal Dependence and Why It Matters for Causal Reasoning Noncausal Dependence / Theoretically Speaking Banner
|
Theoretically Speaking — Noncausal Dependence and Why It Matters for Causal Reasoning

Calvin Lab Auditorium and Zoom

Speakers: Issa Kohler-Hausmann (Professor of Law at Yale Law School) , Shamik Dasgupta (UC Berkeley) , Robin Dembroff (Yale) , Maegan Fairchild (University of Michigan)
ofTheoretically Speaking — Noncausal Dependence and Why It Matters for Causal Reasoning
Series
Richard M. Karp Distinguished Lectures
Theoretically Speaking
Breakthroughs
Quantum Colloquium
All Public Lectures