BEGIN:VCALENDAR VERSION:2.0 CALSCALE:GREGORIAN PRODID:iCalendar-Ruby BEGIN:VEVENT CATEGORIES: DESCRIPTION:Dissertation Title: Formally Verified Samplers from Discrete Pr obabilistic Programs\n\nDissertation Advisor: Dr. David Juedes\n\nDepartmen t: Electrical Engineering and Computer Science\n\nDate: Wednesday\, March 1 5\, 2023\n\nTime: 11:00am-1:00pm\n\nLocation: Stocker Center\, Room 326 DTEND:20230315T170000Z DTSTAMP:20241124T180352Z DTSTART:20230315T150000Z LOCATION:Stocker Center\, 326 SEQUENCE:0 SUMMARY:Alexander Bagnall Final Dissertation Defense UID:tag:localist.com\,2008:EventInstance_42430568020906 URL:https://calendar.ohio.edu/event/alexander_bagnall_final_dissertation_de fense END:VEVENT END:VCALENDAR