BEGIN:VCALENDAR
VERSION:2.0
PRODID:icalendar-ruby
CALSCALE:GREGORIAN
BEGIN:VEVENT
DTSTAMP:20260415T042913Z
UID:7d62686e-ef31-4979-86df-acc3bf54e173
DTSTART:20260330T100000
DTEND:20260330T120000
LOCATION:Remote (http://meet.google.com/oor-qivy-iai)
SUMMARY:Kasra Abbaszadeh - Improving the Scalability and Applicability of C
 ryptographic Proof Systems
URL;VALUE=URI:https://talks.cs.umd.edu/talks/4537
END:VEVENT
END:VCALENDAR