{ "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 } , "124671-21853592": { "datetime_modified":"20240827T205352", "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":"Cyclically ordered quivers (Combinatorics Seminar)", "occurrence_title":"", "combined_title":"Cyclically ordered quivers (Combinatorics Seminar): Scott Neville, University of Michigan", "event_subtitle":"Scott Neville, University of Michigan", "event_type":"Workshop \/ Seminar", "event_type_id":"21", "description":"Quivers and their mutations play a fundamental role in the theory of cluster algebras. We focus on the problem of deciding whether two given quivers are mutation equivalent to each other. Our approach is based on introducing an additional structure of a cyclic ordering on the set of vertices of a quiver. This leads to new powerful invariants of quiver mutation. These invariants can be used to show that various quivers are not mutation acyclic, i.e., they are not mutation equivalent to an acyclic quiver. This talk is partially based on joint work with Sergey Fomin [arXiv:2406.03604].", "occurrence_notes":null, "guid":"124671-21853592@events.umich.edu", "permalink":"http:\/\/events.umich.edu\/event\/124671", "building_id":"1000166", "building_name":"East Hall", "campus_maps_id":"53", "room":"4096", "location_name":"East Hall", "has_livestream":0, "cost":"", "tags":["Mathematics"], "website":"", "sponsors":[ { "group_name":"Combinatorics Seminar - Department of Mathematics", "group_id":"4885", "website":"" }, { "group_name":"Department of Mathematics", "group_id":"3791", "website":"" } ], "image_url":"https:\/\/events.umich.edu\/media\/attachments\/2024\/08\/event_124671_original-1.jpeg", "styled_images":{ "event_thumb":"https:\/\/events.umich.edu\/media\/cache\/event_thumb\/media\/attachments\/2024\/08\/event_124671_original-1.jpeg", "event_large":"https:\/\/events.umich.edu\/media\/cache\/event_large\/media\/attachments\/2024\/08\/event_124671_original-1.jpeg", "event_large_2x":"https:\/\/events.umich.edu\/media\/cache\/event_large_2x\/media\/attachments\/2024\/08\/event_124671_original-1.jpeg", "event_large_lightbox":"https:\/\/events.umich.edu\/media\/cache\/event_large_lightbox\/media\/attachments\/2024\/08\/event_124671_original-1.jpeg", "group_thumb":"https:\/\/events.umich.edu\/media\/cache\/group_thumb\/media\/attachments\/2024\/08\/event_124671_original-1.jpeg", "group_thumb_square":"https:\/\/events.umich.edu\/media\/cache\/group_thumb_square\/media\/attachments\/2024\/08\/event_124671_original-1.jpeg", "group_large":"https:\/\/events.umich.edu\/media\/cache\/group_large\/media\/attachments\/2024\/08\/event_124671_original-1.jpeg", "group_large_lightbox":"https:\/\/events.umich.edu\/media\/cache\/group_large_lightbox\/media\/attachments\/2024\/08\/event_124671_original-1.jpeg", "event_large_crop":"https:\/\/events.umich.edu\/media\/cache\/event_large_crop\/media\/attachments\/2024\/08\/event_124671_original-1.jpeg", "event_list":"https:\/\/events.umich.edu\/media\/cache\/event_list\/media\/attachments\/2024\/08\/event_124671_original-1.jpeg", "event_list_2x":"https:\/\/events.umich.edu\/media\/cache\/event_list_2x\/media\/attachments\/2024\/08\/event_124671_original-1.jpeg", "event_grid":"https:\/\/events.umich.edu\/media\/cache\/event_grid\/media\/attachments\/2024\/08\/event_124671_original-1.jpeg", "event_grid_2x":"https:\/\/events.umich.edu\/media\/cache\/event_grid_2x\/media\/attachments\/2024\/08\/event_124671_original-1.jpeg", "event_feature_large":"https:\/\/events.umich.edu\/media\/cache\/event_feature_large\/media\/attachments\/2024\/08\/event_124671_original-1.jpeg", "event_feature_thumb":"https:\/\/events.umich.edu\/media\/cache\/event_feature_thumb\/media\/attachments\/2024\/08\/event_124671_original-1.jpeg" }, "occurrence_count":1, "first_occurrence":21853592 } , "125098-21854408": { "datetime_modified":"20240930T114059", "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":"HET Seminar | Fusing conformal defects in higher dimensions", "occurrence_title":"", "combined_title":"HET Seminar | Fusing conformal defects in higher dimensions: Yifan Wang (NYU)", "event_subtitle":"Yifan Wang (NYU)", "event_type":"Lecture \/ Discussion", "event_type_id":"13", "description":"We study operator algebra of extended conformal defects in more than two spacetime dimensions. Such algebra structure encodes the combined effect of multiple impurities on physical observables at long distances as well as the interactions among the impurities. These features are formalized by a fusion product which we define for a pair of defects, after isolating divergences that capture the effective potential between the defects. These divergences generalize the usual Casimir energy and define a novel effective field theory for defects. We discuss general properties of the corresponding fusion algebra and give explicit examples. We also derive universal formulas for defect structure constants from the defect effective field theory.", "occurrence_notes":null, "guid":"125098-21854408@events.umich.edu", "permalink":"http:\/\/events.umich.edu\/event\/125098", "building_id":"1000167", "building_name":"West Hall", "campus_maps_id":"163", "room":"340", "location_name":"West Hall", "has_livestream":0, "cost":"", "tags":["High Energy Theory Seminar"], "website":"", "sponsors":[ { "group_name":"Leinweber Institute for Theoretical Physics", "group_id":"4286", "website":"" }, { "group_name":"Department of Physics", "group_id":"1965", "website":"" }, { "group_name":"HET Seminars", "group_id":"3806", "website":"" }, { "group_name":"Leinweber Institute for Theoretical Physics Seminars", "group_id":"4311", "website":"" }, { "group_name":"Leinweber Institute for Theoretical Physics High Energy Theory Seminars", "group_id":"4313", "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":21854408 } }