Sep 27 1:30pm - 3PM Computer Science Thesis Proposal PETER MANOHAR The Kikuchi Matrix Method: Algorithms for “Beyond Average-Case” CSPs In Person Reddy Conference Room, Gates Hillman 4405 Add event to Google Add event to iCal
Sep 28 3:30pm - 4:30pm Principles of Programming Seminar JOSHUA GANCHER Owl: Compositional Verification of Security Protocols via an Information-Flow Type System In Person Newell-Simon 3305 Add event to Google Add event to iCal
Oct 3-5 8AM - 12PM CyLab Security and Privacy Institute: 2023 CyLab Partners Conference In Person CMU Campus Add event to Google Add event to iCal
Oct 12 3:03pm - 5PM CSD Faculty Meeting 6115 Gates and Hillman Centers Add event to Google Add event to iCal
Oct 26 5PM - 6PM SCS Special Lecture PETER LEE The AI Revolution in Medicine: GPT-4 and Beyond In Person and Virtual - ET Rashid Auditorium, Gates Hillman 4401 Add event to Google Add event to iCal