Jan 22 3PM - 4PM ACO Seminar - Noah Singer NOAH SINGER Direct-product testers and PCPs from coset complexes In Person Wean 8220 Add event to Google Add event to iCal
Jan 22 4PM - 5PM CMU University Libraries: Fine & Rare VI Fine & Rare VI Rare Books and Ancestral Machines Virtual Presentation - ET Remote Access (registration required) Add event to Google Add event to iCal
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 27 4PM - 5:30pm SCS Katayanagi Distinguished Lecture 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 TBA 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
