Computer science
Today, November 28, 2023
-
Programming Languages Seminar: Shaan Nagy
Hyper Hoare Logic: The Power of Second-Order Axiomatic Semantics
12-1 p.m.
Wednesday, November 29, 2023
-
Statistics Seminar
Estimating network-mediated causal effects via spectral embeddings presented by Keith Levin
4-5 p.m.
Thursday, November 30, 2023
-
Machine Learning Lunch Meeting
Recent Advances in Average-Reward Restless Bandits
12 p.m.
1325 Computer Sciences
-
Distinguished Lecture: Ethical Frameworks and Computer Security Trolley Problems
Tadayoshi Kohno (Yoshi): Professor, Paul G. Allen School of Computer Science & Engineering, University of Washington
4-5 p.m.
1240 Computer Sciences
Tuesday, December 5, 2023
Wednesday, December 6, 2023
-
Statistics Seminar
Expressive Interfaces for Multi-omics Simulation presented by Kris Sankaran
4-5 p.m.
Monday, December 11, 2023
-
Distinguished Lecture: Helping Developers with Privacy
Jason Hong: Professor, Human Computer Interaction Institute, School of Computer Science, Carnegie Mellon University
4-5 p.m.
1240 Computer Sciences