Colloquium Spring 2020
Upcoming Events
-
APR 82PM, Location TBA
Sharing without Showing: Building Secure Collaborative Systems
Wenting Zheng, University of California, Berkeley
Past Events
-
APR 12PM, Location TBA
Verifying Security Across Hardware & Software
Klaus v. Gleissenthall, University of California, San Diego -
MAR 302PM, Location TBA
Breaking and Building End-to-End Encrypted Systems
Paul Allen Grubbs, Cornell University -
MAR 252PM, Location TBA
Bridging CS and Math through the lens of Structure and Randomness
Shachar Lovett, University of California, San Diego -
MAR 232PM, Location TBA
2-to-2 Games is NP-hard
Dor Minzer, Princeton University -
MAR 202PM, Location TBA
Towards Training AI Agents with All Types of Experiences via a Single Algorithm
Zhiting Hu, Carnegie Mellon University -
MAR 112PM, 60 Fifth Avenue 150
Secure Data-Intensive Applications through Automatic Formal Reasoning
Gowtham Kaki, Purdue University -
MAR 92PM, 60 Fifth Avenue 150
Certified Artificial Intelligence
Gagandeep Singh, ETH Zurich -
MAR 611AM, 60 Fifth Avenue room 150
Insights from Deep Representations for Machine Learning Systems and Human Collaborations
Maithra Raghu, Cornell University -
MAR 42PM, 60 Fifth Avenue 150
Do ImageNet Classifiers Generalize to ImageNet?
Ludwig Schmidt, University of California, Berkeley -
MAR 22PM, 60 Fifth Avenue 150
Variational Perspectives on Machine Learning: Algorithms, Inference, and Fairness
Ashia Wilson, Microsoft Research -
FEB 2811AM, 60 Fifth Avenue 150
Deep Probabilistic Graphical Modeling
Adji Bousso Dieng, Columbia University -
FEB 262PM, 60 Fifth Avenue 150
A Variational Perspective on Optimization, Sampling, and Games for Machine Learning
Andre Wibisono, Georgia Institute of Technology -
FEB 2111AM, 60 Fifth Avenue 150
Verification of distributed protocols using decidable logics
Oded Padon, Stanford University -
FEB 711AM, 60 Fifth Avenue 150
Deep Learning and Language Structure
Yoon Kim, Harvard University
Other Semesters
- Fall 2019
- Summer 2019
- Spring 2019
- Fall 2018
- Summer 2018
- Spring 2018
- Fall 2017
- Summer 2017
- Spring 2017
- Fall 2016
- Spring 2016
- Fall 2015
- Summer 2015
- Spring 2015
- Fall 2014
- Spring 2014
- Fall 2013
- Summer 2013
- Spring 2013
- Fall 2012
- Spring 2012
- Fall 2011
- Summer 2011
- Spring 2011
- Fall 2010
- Spring 2010
- Fall 2009
- Summer 2009
- Spring 2009
- Fall 2008