{ "126610-21857430": { "datetime_modified":"20240918T121720", "datetime_start":"20241004T143000", "datetime_end":"20241004T151500", "has_end_time":1, "date_start":"2024-10-04", "date_end":"2024-10-04", "time_start":"14:30:00", "time_end":"15:15:00", "time_zone":"America\/Detroit", "event_title":"Organ Student Showcase", "occurrence_title":"", "combined_title":"Organ Student Showcase: 2024 U-M Organ Conference \/ Great Lakes Regional Carillon Meeting", "event_subtitle":"2024 U-M Organ Conference \/ Great Lakes Regional Carillon Meeting", "event_type":"Performance", "event_type_id":"15", "description":"Organ Student Showcase Recital including guest composer Connor Chee\u2019s *H\u00f3zh\u00f3* for organ, performed by students of University Organist Nicole Keller on the Baroque-style Marilyn Mason Organ by CB Fisk, op. 87.\n\n*This event is part of the 2024 University of Michigan Organ Conference \/ Great Lakes Regional Carillon Meeting, supported by the University of Michigan School of Music, Theatre & Dance and a Fall\/Winter Gatherings Grant from the Guild of Carillonneurs in North America.*\n", "occurrence_notes":null, "guid":"126610-21857430@events.umich.edu", "permalink":"http:\/\/events.umich.edu\/event\/126610", "building_id":"1000440", "building_name":"Earl V. Moore Building", "campus_maps_id":"52", "room":"Blanche Anderson Moore Recital Hall", "location_name":"Earl V. Moore Building", "has_livestream":0, "cost":"Free - no tickets required", "tags":["Free","Music","North Campus"], "website":"https:\/\/smtd.umich.edu\/performances-and-events\/organ-conference\/", "sponsors":[ { "group_name":"School of Music, Theatre & Dance (SMTD)", "group_id":"155", "website":"http:\/\/smtd.umich.edu\/events" } ], "image_url":"https:\/\/events.umich.edu\/media\/attachments\/2024\/09\/event_126610_original-1.jpg", "styled_images":{ "event_thumb":"https:\/\/events.umich.edu\/media\/cache\/event_thumb\/media\/attachments\/2024\/09\/event_126610_original-1.jpg", "event_large":"https:\/\/events.umich.edu\/media\/cache\/event_large\/media\/attachments\/2024\/09\/event_126610_original-1.jpg", "event_large_2x":"https:\/\/events.umich.edu\/media\/cache\/event_large_2x\/media\/attachments\/2024\/09\/event_126610_original-1.jpg", "event_large_lightbox":"https:\/\/events.umich.edu\/media\/cache\/event_large_lightbox\/media\/attachments\/2024\/09\/event_126610_original-1.jpg", "group_thumb":"https:\/\/events.umich.edu\/media\/cache\/group_thumb\/media\/attachments\/2024\/09\/event_126610_original-1.jpg", "group_thumb_square":"https:\/\/events.umich.edu\/media\/cache\/group_thumb_square\/media\/attachments\/2024\/09\/event_126610_original-1.jpg", "group_large":"https:\/\/events.umich.edu\/media\/cache\/group_large\/media\/attachments\/2024\/09\/event_126610_original-1.jpg", "group_large_lightbox":"https:\/\/events.umich.edu\/media\/cache\/group_large_lightbox\/media\/attachments\/2024\/09\/event_126610_original-1.jpg", "event_large_crop":"https:\/\/events.umich.edu\/media\/cache\/event_large_crop\/media\/attachments\/2024\/09\/event_126610_original-1.jpg", "event_list":"https:\/\/events.umich.edu\/media\/cache\/event_list\/media\/attachments\/2024\/09\/event_126610_original-1.jpg", "event_list_2x":"https:\/\/events.umich.edu\/media\/cache\/event_list_2x\/media\/attachments\/2024\/09\/event_126610_original-1.jpg", "event_grid":"https:\/\/events.umich.edu\/media\/cache\/event_grid\/media\/attachments\/2024\/09\/event_126610_original-1.jpg", "event_grid_2x":"https:\/\/events.umich.edu\/media\/cache\/event_grid_2x\/media\/attachments\/2024\/09\/event_126610_original-1.jpg", "event_feature_large":"https:\/\/events.umich.edu\/media\/cache\/event_feature_large\/media\/attachments\/2024\/09\/event_126610_original-1.jpg", "event_feature_thumb":"https:\/\/events.umich.edu\/media\/cache\/event_feature_thumb\/media\/attachments\/2024\/09\/event_126610_original-1.jpg" }, "occurrence_count":1, "first_occurrence":21857430 } , "121472-21846584": { "datetime_modified":"20240921T120645", "datetime_start":"20241004T150000", "datetime_end":"20241004T160000", "has_end_time":1, "date_start":"2024-10-04", "date_end":"2024-10-04", "time_start":"15:00:00", "time_end":"16:00:00", "time_zone":"America\/Detroit", "event_title":"AIM Seminar: The algebra of system-level design", "occurrence_title":"", "combined_title":"AIM Seminar: The algebra of system-level design: Inigo Incer, Electrical Engineering and Computer Science, University of Michigan", "event_subtitle":"Inigo Incer, Electrical Engineering and Computer Science, University of Michigan", "event_type":"Lecture \/ Discussion", "event_type_id":"13", "description":"Abstract: The task of system design is shared by all engineering disciplines, each coming with its own techniques. In spite of their differences in tools, there is large intersection in their conceptual approach to design. In this talk, we exploit this commonality to take an abstract view of systems and their composition. We understand systems and subsystems in terms of their assume-guarantee specifications, or contracts.\r\n \r\nAssume-guarantee contracts are formal specifications that state (i) the assumptions that a design element makes on its environment and (ii) the guarantees it delivers when the environment behaves according to the contract's assumptions. Contracts come with a rich algebra that allows us to carry out several design-relevant tasks: obtaining system-level specifications from component specifications, finding specifications of components that need to be added to a design in order to meet an objective, etc. We will introduce the algebra of contracts and discuss how the various algebraic operations relate to system-design tasks. We will then provide a universal characterization of contracts as the adjoint of a well-known functor. Time permitting, we will discuss the application of this methodology and Pacti, a software package that supports system design using contracts, in areas ranging from space-mission design to autonomous vehicles.", "occurrence_notes":null, "guid":"121472-21846584@events.umich.edu", "permalink":"http:\/\/events.umich.edu\/event\/121472", "building_id":"1000166", "building_name":"East Hall", "campus_maps_id":"53", "room":"4448", "location_name":"East Hall", "has_livestream":0, "cost":"", "tags":["Mathematics"], "website":"", "sponsors":[ { "group_name":"Applied Interdisciplinary Mathematics (AIM) Seminar - Department of Mathematics", "group_id":"4882", "website":"" }, { "group_name":"Department of Mathematics", "group_id":"3791", "website":"" } ], "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":21846584 } }