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:20260806T162236
DTSTART;TZID=America/Detroit:20260904T080000
DTEND;TZID=America/Detroit:20260904T170000
SUMMARY:Exhibition:WCEE Exhibition. The Art of Memory\, Paintings by Felix Lembersky
DESCRIPTION:Felix Lembersky (1913-1970) was a painter\, theater stage designer\, teacher\, and leader of artistic groups. He began his career within the Soviet Avant-Garde in Ukraine before studying realist painting in Leningrad (now Saint Petersburg). Throughout his life he worked across realist and modernist styles that fell outside of Soviet-mandated Socialist Realism. His Execution: Babyn Yar series (ca. 1944-52) is the earliest known artistic representation of Babyn Yar\, a Holocaust massacre site in Kyiv. For political reasons\, these paintings\, along with his later nonconformist work\, were barred from exhibition in the Soviet Union.\n\nHaving witnessed two world wars\, the 1917 revolution\, and political terror\, Lembersky reflected on these experiences with candor while imbuing his work with hope and optimism. He was drawn to vulnerable\, neglected\, and marginalized people: children\, the elderly\, ethnic minorities\, and industrial workers subjected to harsh labor and dangerous conditions. Regardless of their circumstances\, Lembersky  portrayed his subjects with empathy\, dignity\, and admiration.  \n\n“For my father\, honesty and integrity meant more than anything else. Art was an expression of freedom\, individuality\, and personalized creativity\, without which it ceased to be art.”\n— Galina Lembersky\, daughter\n\nExhibit curated by Yelena Lembersky\, granddaughter of Felix Lembersky\, and Geneviève Zubrzycki\, WCEE Director.\n\nWorks on loan from the private collection of Yelena Lembersky.\n\nContact weisercenter@umich.edu to schedule a viewing.\n\nIf there is anything we can do to make this event accessible to you\, please contact us at weisercenter@umich.edu. Please be aware that advance notice is necessary as some accommodations may require more time for the university to arrange.
UID:149975-21907465@events.umich.edu
URL:https://events.umich.edu/event/149975
CLASS:PUBLIC
STATUS:CONFIRMED
CATEGORIES:Art,russia,ukraine
LOCATION:Weiser Hall - Room 1010
CONTACT:
END:VEVENT
BEGIN:VEVENT
DTSTAMP:20260827T142116
DTSTART;TZID=America/Detroit:20260904T090000
DTEND;TZID=America/Detroit:20260904T170000
SUMMARY:Exhibition:Ballad for Rodney
DESCRIPTION:The Institute for the Humanities’ presentation of Cosmo Whyte’s* Ballad for Rodney* (2024) is organized as part of Whyte’s upcoming solo exhibition at the Stamps Gallery entitled *Cosmo Whyte: Under the Quiet\, Beyond the Eye*.\n\nThis “curtain painting” operates simultaneously as painting and sculpture\, inviting the viewer to physically engage with the surface\, passing through to another layer underneath. \n\nAbout the artist\nCosmo Whyte (b. 1982\, St. Andrew\, Jamaica) is an interdisciplinary artist who employs drawing\, installation\, and sculpture to create conceptual work exploring interstitial subjectivity through an engagement with both intimate and public archives\, as well as Black spatiality and forms of resistance. He received his MFA from the University of Michigan. In 2022\, he joined the UCLA School of the Arts and Architecture as an assistant professor.\n\n\nWhyte’s work has been exhibited nationally and internationally\, including at MOCA Georgia\, Atlanta\, GA\; Museum of Contemporary Art\, Chicago\, IL\; The High Museum of Art\, Atlanta\, GA\; The Drawing Center\, New York\, NY\; Atlanta Contemporary\, Atlanta\, GA\; Centre Georges Pompidou\, Paris\, France\; and the National Gallery of Jamaica\, Kingston\, Jamaica\, among others. His work is in public museum collections including the High Museum\, Atlanta\, GA\; Museum of Contemporary Art\, Chicago\, IL\; International African American Museum\, Charlotte\, NC\; MOCA Georgia\, Atlanta\, GA\; National Gallery of Jamaica\; Pérez Art Museum Miami\, among others. Whyte lives and works between Montego Bay\, Jamaica and Los Angeles\, CA.
UID:150287-21908767@events.umich.edu
URL:https://events.umich.edu/event/150287
CLASS:PUBLIC
STATUS:CONFIRMED
CATEGORIES:Art,Humanities,Visual Arts
LOCATION:202 S. Thayer - Institute for the Humanities Osterman Common Room, #1022
CONTACT:
END:VEVENT
BEGIN:VEVENT
DTSTAMP:20260508T155502
DTSTART;TZID=America/Detroit:20260904T090000
DTEND;TZID=America/Detroit:20260904T200000
SUMMARY:Exhibition:The People’s Bicentennial
DESCRIPTION:This selection of original artifacts documents the work of the Peoples Bicentennial Commission (PBC)\, which challenged the official\, corporate-sponsored commemoration of the 1976 bicentennial. This year we celebrate the 250th anniversary of the signing of the Declaration of Independence.\n\nItems on display are from the Joseph A. Labadie Collection\, which documents social protest movements and radical history.\n\nHOURS\nSunday 2-8pm\nMonday-Thursday 9am-8pm\nFriday 9am-4pm\nSaturday 11am-5pm
UID:147925-21902530@events.umich.edu
URL:https://events.umich.edu/event/147925
CLASS:PUBLIC
STATUS:CONFIRMED
CATEGORIES:History,Library,Free
LOCATION:Hatcher Graduate Library - Hatcher Gallery Exhibit Room (1st floor)
CONTACT:
END:VEVENT
BEGIN:VEVENT
DTSTAMP:20260902T080735
DTSTART;TZID=America/Detroit:20260904T090000
DTEND;TZID=America/Detroit:19700101T000000
SUMMARY:Presentation:Verifying Robotics With Synchronous Refinement Types and Quantitative Semantics
DESCRIPTION:Chair: Jean-Baptiste Jeannin\n\nAbstract:\nCyber-Physical Systems contain software components that interact with the physical world. Consequently\, they are often found in aircraft\, robots\, or industrial processes where software failures have real\, immediate\, and potentially catastrophic consequences. These very interactions with the physical world also make them challenging to design safely because testing at runtime is often either impractical or incomplete. Alternatively\, formal verification can statically derive rigorous safety guarantees\, but the language in which CPS software is written determines both the ease of verification and its trustworthiness.\n\nThe first part of the dissertation presents a programming language addressing the trust gap that often exists between verification and execution. Formal verification requires accurately and reliably predicting program behavior through its semantics\, but commonly used CPS languages typically have complex or imprecise semantics that make this difficult. However\, languages and theories favoring verification are often not expressive enough to produce executable programs. Consequently\, the software that is verified is often different from the software that executes. We present MARVeLus\, a programming language and runtime that combines the expressive yet precise semantics of synchronous programming with efficient\, modular verification via refinement type checking\, to enable formally-verifiable\, executable programs. We characterize the semantics of the underlying synchronous language\, develop typing rules\, and formally prove that verified specifications are maintained by the semantics. We then demonstrate real-time execution of verified programs on a robotics platform.\n\nThe second part details our generalization of quantitative semantics\, which enables optimization-driven verification techniques to efficiently locate potentially unsafe behaviors or configurations of cyber-physical systems. Although many different quantitative semantics exist in the literature\, they are often isolated in their own solver interfaces making them difficult to methodically compare with one another or verify for safety. We present the first generalized framework for quantitative semantics that is capable of instantiating and verifying the soundness of both existing and novel semantics. We formally prove the correctness of the generalization and use it to experimentally compare the performance of semantics.\n\nBoth MARVeLus and the quantitative semantics generalization strive to make formal verification more versatile\, accessible\, and dependable.
UID:151367-21911415@events.umich.edu
URL:https://events.umich.edu/event/151367
CLASS:PUBLIC
STATUS:CONFIRMED
CATEGORIES:Robotics
LOCATION:Ford Robotics Building - 4000
CONTACT:
END:VEVENT
BEGIN:VEVENT
DTSTAMP:20260903T022113
DTSTART;TZID=America/Detroit:20260904T100000
DTEND;TZID=America/Detroit:20260904T140000
SUMMARY:Workshop / Seminar:2026 First-Generation Gateway Open House
DESCRIPTION:Come and visit the First-Gen Gateway located in the Office of Academic Multicultural Initiatives\, located on the third floor of the Student Activities Building. The First-Gen Gateway is a physical space that serves as a starting point for getting connected to resources for all first-generation students. This open house is an introduction to the resources available and an opportunity to meet the First-Gen Gateway staff.\n
UID:149218-21905991@events.umich.edu
URL:https://events.umich.edu/event/149218
CLASS:PUBLIC
STATUS:CONFIRMED
CATEGORIES:Sessions
LOCATION:First-Generation Gateway located in the Office of Academic Multicultural Initiatives (on the 3rd floor of the Student Activities Building)
CONTACT:
END:VEVENT
END:VCALENDAR