
Upcoming Events
05-01
How to Run Trustworthy Elections Assisted by Computers We Can’t Trust
Sherrerd Hall 306
05-02
Josh Cohen will present his FPO "A Foundationally Verified Intermediate Verification Language" on Friday, 5/2/2025 at 2:30 PM in COS 302 and Zoom
Computer Science 302
05-02
AI Lab Distinguished Lecture Series: AI as a New Paradigm for Scientific Discovery: Insights from Google DeepMind
Computer Science Large Auditorium (Room 104)
05-05
Neil Agarwal will present his FPO, "Offline Processing for Machine Learning-Based Video Systems," on Monday, May 5, 2025, at 9 AM in COS 302.
Computer Science 302