Jan 23 10AM - 11:30am Doctoral Thesis Proposal - Joshua Clune JOSHUA CLUNE Leveraging Automated Theorem Provers for Lean Proof Automation 4405 & Zoom Gates and Hillman Centers Add event to Google Add event to iCal
Jan 23 1PM - 3PM Doctoral Thesis Oral Defense - William Zhang WILLIAM ZHANG On Holistic Database Optimization via Leveraging Similarity Across Actions, Workloads, Configurations, and Scenarios 3002 Newell-Simon Hall Add event to Google Add event to iCal
Jan 26 12PM - 1PM CyLab Seminar - Abhi Shelat ABHI SHELAT - To be Rescheduled Zero knowledge proofs in your wallet In Peron and Virtual - ET Hamburg Hall A301 and Zoom Add event to Google Add event to iCal
Jan 26 4PM - 5PM Statistics and Data Science Seminar - Dylan Foster DYLAN FOSTER From Estimation to Decisions: Statistical Foundations for Interactive Learning In Person Baker Hall A53 Add event to Google Add event to iCal
Jan 27 4PM - 5:30pm SCS Katayanagi Distinguished Lecture - Tom Mitchell TOM M. MITCHELL The History of Machine Learning: How Did We Get Here? In Person Rashid Auditorium, Gates Hillman 4401 Add event to Google Add event to iCal
Jan 29 12PM - 1:30pm AI-SDM Seminar - Chris McComb CHRIS McCOMB AI and the Battle for the Soul of Design In Person and Virtual - ET Newell Simon 3305 and Zoom Add event to Google Add event to iCal
Jan 29 4PM - 5:30pm Deeper Conversations - Arthur Levine ARTHUR LEVINE In Person Rangos Ballroom, Cohon University Center Add event to Google Add event to iCal
Jan 30 12:30pm - 2PM Doctoral Thesis Oral Defense - Caspar Oesterheld CASPAR OESTERHELD New foundational ideas in cooperative AI In Person Newell-Simon 3002 Add event to Google Add event to iCal
Feb 2 9AM - 10:30am AI-SDM Seminar - Jim Jansen JIM JANSEN Cipherbot: a 24/7 TA for Profs; 24/7 Tutor for Students Virtual Presentation - ET Remote Access - Zoom Add event to Google Add event to iCal
