Past Events

10.12.20 11:30am
Automatically Learning How to Evade Censorship 10.12.20 11:30am
Speaker: Dave Levin, University of Maryland
10.15.20 4:00pm
Math/CS Colloquium: John Urschel, Massachusetts Institute of Technology 10.15.20 4:00pm
Speaker: John Urschel, Massachusetts Institute of Technology
10.19.20 11:30am
Sketching Algorithms 10.19.20 11:30am
Speaker: Jelani Nelson, University of California, Berkeley
Host: Eshan Chattopadhyay
10.26.20 11:30am
Duality in Semantics and Verification 10.26.20 11:30am
Speaker: Alexandra Silva, University College London
Host: Dexter Kozen
11.02.20 11:30am
Doing for Our Robots What Nature Did for Us 11.02.20 11:30am
Speaker: Leslie Kaelbling, Massachusetts Institute of Technology
Host: Haym Hirsh
11.09.20 11:30am
Concepts: The Essence of Software Design 11.09.20 11:30am
Speaker: Daniel Jackson, Massachusetts Institute of Technology
Host: Owolabi Legunsen, Andrew Myers
11.23.20 11:30am
Formally Verifying Randomized Algorithms 11.23.20 11:30am
Speaker: Justin Hsu, University of Wisconsin–Madison
Host: Nate Foster
11.30.20 11:30am
Automatic Movie Analysis and Summarization via Turning Point Identification 11.30.20 11:30am
Speaker: Mirella Lapata, University of Edinburgh
Host: Yoav Artzi
12.07.20 11:30am
CS Student Colloquium 12.07.20 11:30am
Speaker: Multiple Speakers (organized aphabetically)
Host: Bobby Kleinberg
12.14.20 11:30am
Socially Assistive Robotics: What it Takes to Get Personalized Embodied Systems into Homes to Support of Health, Wellness, Education, and Training 12.14.20 11:30am
Speaker: Maja Mataric, University of Southern California
Host: Hadas Kress-Gazit