Theoretically Speaking

Theoretically Speaking

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

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)
Details of Machine-Checked Proofs and the Rise of Formal Methods in Mathematics | Theoretically Speaking
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)
Details of Scaling 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)
Details of Building Human Intelligence at Scale, to Save the Next Generation from ChatGPT | Theoretically Speaking
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)
Details of What Do the Theory of Computing and the Movies Have in Common? | Theoretically Speaking
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)
Details of Theoretically Speaking at the Brower Center — PACE Tech: Physics and Algorithms Coupled to Enhance Technology
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)
Details of Theoretically Speaking — Adversarial Examples in Deep Learning
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)
Details of Theoretically Speaking — Noncausal Dependence and Why It Matters for Causal Reasoning
Theoretically Speaking — The Science of Cause and Effect: From Deep Learning to Deep Understanding The Science of Cause and Effect / Theoretically Speaking Banner
|
Theoretically Speaking — The Science of Cause and Effect: From Deep Learning to Deep Understanding

Calvin Lab Auditorium and Zoom

Speakers: Judea Pearl (UCLA)
Details of Theoretically Speaking — The Science of Cause and Effect: From Deep Learning to Deep Understanding
Theoretically Speaking — Opportunities for the Application of Quantitative Models in a Fully Integrated Healthcare System Opportunities for the Application of Quantitative Models / Theoretically Speaking Banner
|
Theoretically Speaking — Opportunities for the Application of Quantitative Models in a Fully Integrated Healthcare System

Calvin Lab Auditorium and Zoom

Speakers: Noam Barda  (Harvard, Tel-HaShomer Medical Center and Ben-Gurion University) , Noa Dagan (Harvard, Clalit Research Institute and Ben-Gurion University)
Details of Theoretically Speaking — Opportunities for the Application of Quantitative Models in a Fully Integrated Healthcare System
Theoretically Speaking — Monitoring People and Their Vital Signs Using Radio Signals and Machine Learning Monitoring People and Their Vital Signs / Theoretically Speaking Banner
|
Theoretically Speaking — Monitoring People and Their Vital Signs Using Radio Signals and Machine Learning

Calvin Lab Auditorium and Zoom

Speakers: Dina Katabi
Details of Theoretically Speaking — Monitoring People and Their Vital Signs Using Radio Signals and Machine Learning
Series
Richard M. Karp Distinguished Lectures
Theoretically Speaking
Breakthroughs
Quantum Colloquium
All Public Lectures