{ "132726-21871644": { "datetime_modified":"20250213T090708", "datetime_start":"20250220T150000", "datetime_end":"20250220T160000", "has_end_time":1, "date_start":"2025-02-20", "date_end":"2025-02-20", "time_start":"15:00:00", "time_end":"16:00:00", "time_zone":"America\/Detroit", "event_title":"IOE 899 Seminar: Inigo Incer, U-M ECE", "occurrence_title":"", "combined_title":"IOE 899 Seminar: Inigo Incer, U-M ECE: Designing Complex Systems Using Assume-Guarantee Contracts", "event_subtitle":"Designing Complex Systems Using Assume-Guarantee Contracts", "event_type":"Workshop \/ Seminar", "event_type_id":"21", "description":"Join us on February 20 to hear, Inigo Incer give his talk titled \"Designing Complex Systems Using Assume-Guarantee Contracts\"\r\n\r\nAbstract: Systems companies struggle to integrate complex design components coming from various providers. The news of recalls and re-certifications in the automotive and aerospace industries is an eloquent testimony to the difficulty of system design. Many voices from government agencies, industry, and academia have thus called for the development of theoretical and practical tools to provide assurance of the correctness of our complex systems.\r\n\r\nAssume guarantee contracts provide a theoretical and methodological framework to compositionally design systems with rigorous guarantees. In this talk, we will introduce contracts and their algebraic operations through case studies in space mission design and autonomous driving that show where current system design methodologies struggle. We will also introduce Pacti, a software package that enables engineers to carry out system-level design using contracts.\r\n\r\nBio: Inigo Incer is an Assistant Professor of Electrical and Computer Engineering at the University of Michigan, where he leads the Complex Engineering Systems Laboratory. He obtained his PhD in Electrical Engineering and Computer Sciences from UC Berkeley in 2022 and was subsequently a postdoctoral researcher at Caltech. He is interested in all aspects of cyber-physical systems, emphasizing formal methods and AI that support their compositional design and analysis.", "occurrence_notes":null, "guid":"132726-21871644@events.umich.edu", "permalink":"http:\/\/events.umich.edu\/event\/132726", "building_id":"1000429", "building_name":"Industrial and Operations Engineering Building", "campus_maps_id":"73", "room":"G690", "location_name":"Industrial and Operations Engineering Building", "has_livestream":0, "cost":"", "tags":["899 Seminar Series","Electrical Engineering and Computer Science","Industrial And Operations Engineering","seminar"], "website":"", "sponsors":[ { "group_name":"Industrial & Operations Engineering", "group_id":"3301", "website":"http:\/\/ioe.engin.umich.edu\/" } ], "image_url":"https:\/\/events.umich.edu\/media\/attachments\/2025\/02\/event_132726_original-1.png", "styled_images":{ "event_thumb":"https:\/\/events.umich.edu\/media\/cache\/event_thumb\/media\/attachments\/2025\/02\/event_132726_original-1.png", "event_large":"https:\/\/events.umich.edu\/media\/cache\/event_large\/media\/attachments\/2025\/02\/event_132726_original-1.png", "event_large_2x":"https:\/\/events.umich.edu\/media\/cache\/event_large_2x\/media\/attachments\/2025\/02\/event_132726_original-1.png", "event_large_lightbox":"https:\/\/events.umich.edu\/media\/cache\/event_large_lightbox\/media\/attachments\/2025\/02\/event_132726_original-1.png", "group_thumb":"https:\/\/events.umich.edu\/media\/cache\/group_thumb\/media\/attachments\/2025\/02\/event_132726_original-1.png", "group_thumb_square":"https:\/\/events.umich.edu\/media\/cache\/group_thumb_square\/media\/attachments\/2025\/02\/event_132726_original-1.png", "group_large":"https:\/\/events.umich.edu\/media\/cache\/group_large\/media\/attachments\/2025\/02\/event_132726_original-1.png", "group_large_lightbox":"https:\/\/events.umich.edu\/media\/cache\/group_large_lightbox\/media\/attachments\/2025\/02\/event_132726_original-1.png", "event_large_crop":"https:\/\/events.umich.edu\/media\/cache\/event_large_crop\/media\/attachments\/2025\/02\/event_132726_original-1.png", "event_list":"https:\/\/events.umich.edu\/media\/cache\/event_list\/media\/attachments\/2025\/02\/event_132726_original-1.png", "event_list_2x":"https:\/\/events.umich.edu\/media\/cache\/event_list_2x\/media\/attachments\/2025\/02\/event_132726_original-1.png", "event_grid":"https:\/\/events.umich.edu\/media\/cache\/event_grid\/media\/attachments\/2025\/02\/event_132726_original-1.png", "event_grid_2x":"https:\/\/events.umich.edu\/media\/cache\/event_grid_2x\/media\/attachments\/2025\/02\/event_132726_original-1.png", "event_feature_large":"https:\/\/events.umich.edu\/media\/cache\/event_feature_large\/media\/attachments\/2025\/02\/event_132726_original-1.png", "event_feature_thumb":"https:\/\/events.umich.edu\/media\/cache\/event_feature_thumb\/media\/attachments\/2025\/02\/event_132726_original-1.png" }, "occurrence_count":1, "first_occurrence":21871644 } , "125328-21859501": { "datetime_modified":"20250220T142044", "datetime_start":"20250220T150000", "datetime_end":"20250220T160000", "has_end_time":1, "date_start":"2025-02-20", "date_end":"2025-02-20", "time_start":"15:00:00", "time_end":"16:00:00", "time_zone":"America\/Detroit", "event_title":"Psychology\/BCN Alumni Career Spotlight Series", "occurrence_title":"Jaime Rotsky: Psychology\/BCN Alumni Spotlight Winter 2025", "combined_title":"Psychology\/BCN Alumni Career Spotlight Series: Jaime Rotsky: Psychology\/BCN Alumni Spotlight Winter 2025", "event_subtitle":"", "event_type":"Workshop \/ Seminar", "event_type_id":"21", "description":"The Psychology Department is hosting two unique alumni events to share information about their careers and experiences after graduating. Both sessions will be on Zoom. Click on the sessions to reach a bio for each alumni, and be sure to RSVP to receive the Zoom link!\u00a0", "occurrence_notes":null, "guid":"125328-21859501@events.umich.edu", "permalink":"http:\/\/events.umich.edu\/event\/125328", "building_id":"", "building_name":"", "campus_maps_id":"", "room":"", "location_name":"", "has_livestream":0, "cost":"", "tags":["Sessions"], "website":"https:\/\/sessions.studentlife.umich.edu\/p\/track\/12262", "sponsors":[ { "group_name":"Sessions @ Michigan", "group_id":"4791", "website":"https:\/\/sessions.studentlife.umich.edu\/" } ], "image_url":"", "styled_images":{ "event_thumb":"", "event_large":"", "event_large_2x":"", "event_large_lightbox":"", "group_thumb":"", "group_thumb_square":"", "group_large":"", "group_large_lightbox":"", "event_large_crop":"", "event_list":"", "event_list_2x":"", "event_grid":"", "event_grid_2x":"", "event_feature_large":"", "event_feature_thumb":"" }, "occurrence_count":1, "first_occurrence":21859501 } , "127697-21859497": { "datetime_modified":"20241011T101505", "datetime_start":"20250220T150000", "datetime_end":"20250220T160000", "has_end_time":1, "date_start":"2025-02-20", "date_end":"2025-02-20", "time_start":"15:00:00", "time_end":"16:00:00", "time_zone":"America\/Detroit", "event_title":"Psychology\/BCN Alumni Career Spotlight WN25", "occurrence_title":"", "combined_title":"Psychology\/BCN Alumni Career Spotlight WN25: Jaime Rotsky", "event_subtitle":"Jaime Rotsky", "event_type":"Careers \/ Jobs", "event_type_id":"2", "description":"Jaime Rotsky discusses her experience as the National Geographic (NatGeo) Program Strategy & Content Planning Manager at The Walt Disney Company, drawing from her education in Psychology and Film, Television & Media.", "occurrence_notes":"RSVP for Zoom link", "guid":"127697-21859497@events.umich.edu", "permalink":"http:\/\/events.umich.edu\/event\/127697", "building_id":"null", "building_name":"Off Campus Location", "campus_maps_id":"1", "room":"", "location_name":"Virtual", "has_livestream":0, "cost":"", "tags":["Alumni","Biopsychology, Cognition, And Neuroscience (Bcn)","Career","Film","Media","Psychology","Psychology Major","Undergraduate","Undergraduate Students"], "website":"https:\/\/myumi.ch\/PkAjP", "sponsors":[ { "group_name":"Psychology Undergraduates", "group_id":"3840", "website":"" } ], "image_url":"https:\/\/events.umich.edu\/media\/attachments\/2024\/10\/event_127697_original-1.png", "styled_images":{ "event_thumb":"https:\/\/events.umich.edu\/media\/cache\/event_thumb\/media\/attachments\/2024\/10\/event_127697_original-1.png", "event_large":"https:\/\/events.umich.edu\/media\/cache\/event_large\/media\/attachments\/2024\/10\/event_127697_original-1.png", "event_large_2x":"https:\/\/events.umich.edu\/media\/cache\/event_large_2x\/media\/attachments\/2024\/10\/event_127697_original-1.png", "event_large_lightbox":"https:\/\/events.umich.edu\/media\/cache\/event_large_lightbox\/media\/attachments\/2024\/10\/event_127697_original-1.png", "group_thumb":"https:\/\/events.umich.edu\/media\/cache\/group_thumb\/media\/attachments\/2024\/10\/event_127697_original-1.png", "group_thumb_square":"https:\/\/events.umich.edu\/media\/cache\/group_thumb_square\/media\/attachments\/2024\/10\/event_127697_original-1.png", "group_large":"https:\/\/events.umich.edu\/media\/cache\/group_large\/media\/attachments\/2024\/10\/event_127697_original-1.png", "group_large_lightbox":"https:\/\/events.umich.edu\/media\/cache\/group_large_lightbox\/media\/attachments\/2024\/10\/event_127697_original-1.png", "event_large_crop":"https:\/\/events.umich.edu\/media\/cache\/event_large_crop\/media\/attachments\/2024\/10\/event_127697_original-1.png", "event_list":"https:\/\/events.umich.edu\/media\/cache\/event_list\/media\/attachments\/2024\/10\/event_127697_original-1.png", "event_list_2x":"https:\/\/events.umich.edu\/media\/cache\/event_list_2x\/media\/attachments\/2024\/10\/event_127697_original-1.png", "event_grid":"https:\/\/events.umich.edu\/media\/cache\/event_grid\/media\/attachments\/2024\/10\/event_127697_original-1.png", "event_grid_2x":"https:\/\/events.umich.edu\/media\/cache\/event_grid_2x\/media\/attachments\/2024\/10\/event_127697_original-1.png", "event_feature_large":"https:\/\/events.umich.edu\/media\/cache\/event_feature_large\/media\/attachments\/2024\/10\/event_127697_original-1.png", "event_feature_thumb":"https:\/\/events.umich.edu\/media\/cache\/event_feature_thumb\/media\/attachments\/2024\/10\/event_127697_original-1.png" }, "occurrence_count":1, "first_occurrence":21859497 } }