BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//UM//UM*Events//EN
CALSCALE:GREGORIAN
BEGIN:VTIMEZONE
TZID:America/Detroit
TZURL:http://tzurl.org/zoneinfo/America/Detroit
X-LIC-LOCATION:America/Detroit
BEGIN:DAYLIGHT
TZOFFSETFROM:-0500
TZOFFSETTO:-0400
TZNAME:EDT
DTSTART:20070311T020000
RRULE:FREQ=YEARLY;BYMONTH=3;BYDAY=2SU
END:DAYLIGHT
BEGIN:STANDARD
TZOFFSETFROM:-0400
TZOFFSETTO:-0500
TZNAME:EST
DTSTART:20071104T020000
RRULE:FREQ=YEARLY;BYMONTH=11;BYDAY=1SU
END:STANDARD
END:VTIMEZONE
BEGIN:VEVENT
DTSTAMP:20240921T120645
DTSTART;TZID=America/Detroit:20241004T150000
DTEND;TZID=America/Detroit:20241004T160000
SUMMARY:Lecture / Discussion:AIM Seminar: The algebra of system-level design
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.\n \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.
UID:121472-21846584@events.umich.edu
URL:https://events.umich.edu/event/121472
CLASS:PUBLIC
STATUS:CONFIRMED
CATEGORIES:Mathematics
LOCATION:East Hall - 4448
CONTACT:
END:VEVENT
BEGIN:VEVENT
DTSTAMP:20240827T205352
DTSTART;TZID=America/Detroit:20241004T150000
DTEND;TZID=America/Detroit:20241004T160000
SUMMARY:Workshop / Seminar:Cyclically ordered quivers (Combinatorics Seminar)
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].
UID:124671-21853592@events.umich.edu
URL:https://events.umich.edu/event/124671
CLASS:PUBLIC
STATUS:CONFIRMED
CATEGORIES:Mathematics
LOCATION:East Hall - 4096
CONTACT:
END:VEVENT
BEGIN:VEVENT
DTSTAMP:20240930T114059
DTSTART;TZID=America/Detroit:20241004T150000
DTEND;TZID=America/Detroit:20241004T160000
SUMMARY:Lecture / Discussion:HET Seminar | Fusing conformal defects in higher dimensions
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.
UID:125098-21854408@events.umich.edu
URL:https://events.umich.edu/event/125098
CLASS:PUBLIC
STATUS:CONFIRMED
CATEGORIES:High Energy Theory Seminar
LOCATION:West Hall - 340
CONTACT:
END:VEVENT
END:VCALENDAR