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
Sep 18 4:30pm - 5:30pm ML⇄DB Seminar DANA VAN AKEN OtterTune: AI-Powered Database Optimization as a Service! Virtual Presentation - ET Remote Access - Zoom Add event to Google Add event to iCal
Sep 14 4:30pm - 5:30pm Crypto Seminar JOSH GANCHER Owl: Compositional Verification of Security Protocols via an Information-Flow Type System In Person and Virtual - ET Blelloch-Skees Conference Room, Gates Hillman 8115 and Zoom Add event to Google Add event to iCal
Sep 14 3:30pm - 4:30pm Algorithms, Combinatorics and Optimization Seminar ALEXANDER MASON h-vector inequalities for weak maps of matroids In Person Wean Hall 8220 Add event to Google Add event to iCal
Sep 14 12PM - 1PM Database Seminar BOWEI CHEN Software Internals In Person Gates Hillman 9115 Add event to Google Add event to iCal
Sep 13 12PM - 1PM Theory Lunch Seminar DANIEL HATHCOCK One Tree to Rule Them All: Poly-Logarithmic Universal Steiner Tree In Person Newell-Simon 3305 Add event to Google Add event to iCal
Sep 11 4:30pm - 5:30pm ML⇄DB Seminar ANDREY VASNETSOV Qdrant: Vector Search Engine Internals Virtual Presentation - ET Remote Access - Zoom Add event to Google Add event to iCal
Sep 11 12PM - 1PM CyLab Seminar SRINI DEVADAS PAC Privacy: Automatic Privacy Measurement and Control of Data Processing In Person and Virtual - ET 4th Floor Panther Hollow 4105, Mehrabian Collaborative Innovation Center and Zoom Add event to Google Add event to iCal
Sep 8 3PM - 4PM Principles of Programming Seminar STEFFAN SØLVSTEN I/O-Efficient Algorithms and Data Structures In Person ASA Conference Room, Gates Hillman 6115 Add event to Google Add event to iCal
Sep 7 12PM - 1PM Systems Design and Implementation Seminar VINCENT LIU Networked Systems in the Age of Really Fast Networks In Person Panther Hollow Conference Room, Mehrabian Collaborative Innovation Center 4105 Add event to Google Add event to iCal
Sep 6 12PM - 1PM CyLab Seminar ARLEN COX, ANDREW RUEF Program Analysis in the Face of Uncertainty In Person and Virtual - ET Panther Hollow Conference, Mehrabian Collaborative Innovation Center 4105 Add event to Google Add event to iCal