Richard M. Karp Distinguished Lectures

The Richard M. Karp Distinguished Lectures were created in Fall 2019 to celebrate the role of Simons Institute Founding Director Dick Karp in establishing the field of theoretical computer science, formulating its central problems, and contributing stunning results in the areas of computational complexity and algorithms. Formerly known as the Simons Institute Open Lectures, the series features visionary leaders in the field of theoretical computer science, and is geared toward a broad scientific audience. To view the video of a past lecture, please follow the link in the list below.

The Institute gratefully acknowledges the many contributors to the Richard M. Karp Fund.

Spring 2021

Richard M. Karp Distinguished Lecture — How Difficult is it to Certify that a Random SAT Formula is Unsatisfiable?
Speaker: Toniann Pitassi (University of Toronto)
Apr. 19, 2021 9:00 am – 10:00 am
This talk will be held virtually and will be live streamed on our website. Full participation (including the capacity to ask questions) will be available via Zoom webinar. Zoom link registration: https://berkeley.zoom.us/webinar/register/WN_HkD5uXUiQ7mZYQppE5LXLQ.
Richard M. Karp Distinguished Lecture — Back to the Future: A Fresh Look at Linear Temporal Logic
Speaker: Javier Esparza (Technical University of Munich)
Mar. 31, 2021 9:00 am – 10:00 am
https://berkeley.zoom.us/webinar/register/WN_7H3nqq1tQT6e9hGwdR-faQ
Richard M. Karp Distinguished Lecture — Trustworthy and Distributed Automated Reasoning
Speaker: Marijn Heule (Carnegie Mellon University)
Mar. 19, 2021 9:00 am – 10:00 am
This talk will be held virtually and will be live streamed on our website. Full participation (including the capacity to ask questions) will be available via Zoom webinar. Zoom link: https://berkeley.zoom.us/webinar/register/1316146382478/WN_B5CbWSSyR1K_4LX8W9Biyg
Richard M. Karp Distinguished Lecture — Automated Formal Program Repair
Speaker: Orna Grumberg (Technion - Israel Institute of Technology)
Feb. 25, 2021 9:00 am – 10:00 am
https://berkeley.zoom.us/webinar/register/WN_VvlM4ifCQb2bjz77rie_Hg

Fall 2020

Richard M. Karp Distinguished Lecture — Reductionism in Reinforcement Learning
Speaker: Dale Schuurmans (Google Brain & University of Alberta)
Nov. 23, 2020 11:00 am – 12:00 pm
https://berkeley.zoom.us/j/95408220999
Richard M. Karp Distinguished Lecture — Is Your Distribution In Shape?
Speaker: Ronitt Rubinfeld (MIT)
Nov. 9, 2020 11:00 am – 12:00 pm
This talk will be held virtually and will be live streamed on our website. Full participation (including the capacity to ask questions) will be available via Zoom webinar. https://berkeley.zoom.us/j/95163729039
Richard M. Karp Distinguished Lecture – Safe Learning in Robotics
Speaker: Claire Tomlin (UC Berkeley)
Oct. 5, 2020 11:00 am – 12:00 pm
https://berkeley.zoom.us/j/92221857464
Richard M. Karp Distinguished Lecture — Insights on Gradient-Based Algorithms in High-Dimensional Learning
Speaker: Lenka Zdeborová (EPFL)
Sep. 14, 2020 11:00 am – 12:00 pm
This talk will be held virtually and will be live streamed on our website. Full participation (including the capacity to ask questions) will be available via Zoom webinar. Zoom link: https://berkeley.zoom.us/j/97166437509.

Spring 2020

Richard M. Karp Distinguished Lecture — A Tale of Turing Machines, Quantum-Entangled Particles, and Operator Algebras
Speaker: Henry Yuen (University of Toronto)
Apr. 20, 2020 11:00 am – 12:00 pm
https://berkeley.zoom.us/j/169236905
Richard M. Karp Distinguished Lecture — Lattices, Post-Quantum Security and Homomorphic Encryption
Speaker: Daniele Micciancio (UC San Diego)
Apr. 6, 2020 11:00 am – 12:00 pm
https://berkeley.zoom.us/j/212109352

Pages