BEGIN:VCALENDAR VERSION:2.0 PRODID:-//University of Michigan Electrical Engineering and Computer Science - ECPv6.3.5//NONSGML v1.0//EN CALSCALE:GREGORIAN METHOD:PUBLISH X-ORIGINAL-URL:https://eecs.engin.umich.edu X-WR-CALDESC:Events for University of Michigan Electrical Engineering and Computer Science REFRESH-INTERVAL;VALUE=DURATION:PT1H X-Robots-Tag:noindex X-PUBLISHED-TTL:PT1H BEGIN:VTIMEZONE TZID:America/Detroit BEGIN:DAYLIGHT TZOFFSETFROM:-0500 TZOFFSETTO:-0400 TZNAME:EDT DTSTART:20240310T070000 END:DAYLIGHT BEGIN:STANDARD TZOFFSETFROM:-0400 TZOFFSETTO:-0500 TZNAME:EST DTSTART:20241103T060000 END:STANDARD END:VTIMEZONE BEGIN:VEVENT DTSTART;TZID=America/Detroit:20240403T140000 DTEND;TZID=America/Detroit:20240403T153000 DTSTAMP:20240328T161401 CREATED:20240318T155426Z LAST-MODIFIED:20240318T155806Z UID:10018461-1712152800-1712158200@eecs.engin.umich.edu SUMMARY:Leveraging Formal Methods for Trustworthy AI-assisted Software Development DESCRIPTION: URL:https://eecs.engin.umich.edu/event/leveraging-formal-methods-for-trustworthy-ai-assisted-software-development/ LOCATION:3725 Beyster Building\, 2260 Hayward Street\, Ann Arbor\, MI\, 48109\, United States CATEGORIES:AI Seminar,CSE DEI Speaker Series ORGANIZER;CN="Taj Williams":MAILTO:tajw@umich.edu GEO:42.2930138;-83.718566 X-APPLE-STRUCTURED-LOCATION;VALUE=URI;X-ADDRESS=3725 Beyster Building 2260 Hayward Street Ann Arbor MI 48109 United States;X-APPLE-RADIUS=500;X-TITLE=2260 Hayward Street:geo:-83.718566,42.2930138 END:VEVENT END:VCALENDAR