BEGIN:VCALENDAR
VERSION:2.0
PRODID:icalendar-ruby
CALSCALE:GREGORIAN
BEGIN:VEVENT
DTSTAMP:20260901T054125Z
UID:ee920d74-459b-4310-b2ac-6d284f1bac04
DTSTART:20261027T140000
DTEND:20261027T150000
LOCATION:CSI 2120 or https://umd.zoom.us/j/93960331973?pwd=tVQ7gtFucJEkSYna
 38zePzkPpHm3J7.1
SUMMARY:Calin Belta - Formal Methods for Safe and Interpretable Reinforceme
 nt Learning
URL;VALUE=URI:https://talks.cs.umd.edu/talks/4704
END:VEVENT
END:VCALENDAR