BEGIN:VCALENDAR
VERSION:2.0
PRODID:icalendar-ruby
CALSCALE:GREGORIAN
BEGIN:VEVENT
DTSTAMP:20260415T180132Z
UID:41e551d7-e9b4-430a-acec-f14ae45cbeff
DTSTART:20260416T123000
DTEND:20260416T133000
LOCATION:5105 IRB
SUMMARY:Benjamin Quiring - Type-Based Techniques for the Design and Correct
 ness of Programming Language Implementations
URL;VALUE=URI:https://talks.cs.umd.edu/talks/4593
END:VEVENT
END:VCALENDAR