Apr 18 4:30pm - 5:30pm Crypto Seminar PAUL S. LUO Hard Languages in NP ∩ coNP and NIZK Proofs from Unstructured Hardness In Person and Virtual - ET Gates Hillman 8102 and Zoom Add event to Google Add event to iCal
Apr 18 3PM - 4PM Principles of Programming Seminar JESSE MICHEL Distributions for Compositionally Differentiating Parametric In Person Newell-Simon 3305 Add event to Google Add event to iCal
Apr 15 4:30pm - 5:30pm Crypto Seminar SOURAV DAS Adaptively Secure BLS Threshold Signatures from DDH and co-CDH In Person and Virtual - ET Mehrabian Collaborative Innovation Center 2201 Add event to Google Add event to iCal
Apr 12 12PM - 1PM CyLab Seminar ANDREW KONGS Defending Modern Connected Vehicles In Person and Virtual - ET Hamburg Hall A301 and Zoom Add event to Google Add event to iCal
Apr 12 11AM - 12PM Principles of Programming Seminar ADAM CHLIPALA First-Principles Formal Verification of Cryptographic Systems In Person Newell-Simon 3002 Add event to Google Add event to iCal
Apr 11 4:30pm - 5:30pm Crypto Seminar KABIR TOMER Commitments from Quantum One-Wayness In Person and Virtual - ET Gates Hillman 8102 and Zoom Add event to Google Add event to iCal
Apr 11 12PM - 1PM Systems Design and Implementation Seminar OLIVIA HSU Mapping sparse applications to accelerated computing systems In Person Newell-Simon 3305 Add event to Google Add event to iCal
Apr 10 12PM - 1PM Special Systems Design and Implementation Seminar YARON MINSKY State Machine Replication and the Modern Exchange In Person and Virtual - ET ASA Conference Room, Gates Hillman 6115 and Zoom Add event to Google Add event to iCal
Apr 5 4:30pm - 5:30pm Crypto Seminar ADITI PARTAP Accountability for Misbehavior in Threshold Decryption via Threshold Traitor Tracing In Person and Virtual - ET Gates Hillman 7501 and Zoom Add event to Google Add event to iCal
Apr 5 2:15pm - 3:15pm Statistics and Data Science Seminar ANDREW GELMAN Bayesian Workflow: Some Progress and Open Questions In Person Doherty Hall A302 Add event to Google Add event to iCal