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:20240913T121740
DTSTART;TZID=America/Detroit:20241119T120000
DTEND;TZID=America/Detroit:20241119T123000
SUMMARY:Performance:Pamela Ruiter-Feenstra\, carillon
DESCRIPTION:Pamela Ruiter-Feenstra performs on the Charles Baird Carillon\, an instrument of 53 bronze bells located inside the Burton Memorial Tower. The largest bell\, which strikes the hour\, weighs 12 tons\, while the smallest bell\, 4½ octaves above\, weighs just 15 pounds.\n\nThirty-minute recitals are performed on the Charles Baird Carillon at noon every weekday that classes are in session\, followed by visitor Q&A with the carillonist. The bell chamber may be accessed via a combination of elevator and stairs. Take the elevator to the highest floor possible (floor 8)\, and then climb two flights of stairs (39 steps) to the bell chamber (floor 10). Earplugs are available from the carillonist upon request. Be prepared to walk on ice and snow in the bell chamber during winter. Built in 1936\, the Charles Baird Carillon is not ADA accessible. Visitors with mobility concerns are invited to visit the Lurie Carillon: https://smtd.umich.edu/facilities/ann-and-robert-h-lurie-carillon/
UID:126366-21857027@events.umich.edu
URL:https://events.umich.edu/event/126366
CLASS:PUBLIC
STATUS:CONFIRMED
CATEGORIES:Music,Talk,Free
LOCATION:Burton Memorial Tower
CONTACT:
END:VEVENT
BEGIN:VEVENT
DTSTAMP:20241204T063105
DTSTART;TZID=America/Detroit:20241119T120000
DTEND;TZID=America/Detroit:20241119T123000
SUMMARY:Careers / Jobs:Sentara Registered Nurse Lunch & Learn
DESCRIPTION:Let's have lunch together! I'm Christina Berry\, Sentara's RN Student Liaison and I am hosting live lunch &amp\; learn sessions for the month of September!If you're curious about Sentara and would like to network with me\, this is our time to do just that!Let’s talk about how to apply\, Sentara’s Nurse Residency Program\, Summer internships\, and benefits of working with Sentara.  Mark your calendar and join me:Tuesday\, November 19\, 2024\, 12-12:30 pm ESTJoin me at this link: https://bit.ly/3zk9NM9 Don’t forget to look for Sentara sponsored events that can be pivotal in your job search!  Make that all-important face-to-face connection with the Sentara hiring managers.  Check for upcoming events at your preferred location at www.sentaracareers.com/events.I look forward to connecting with you soon!
UID:127379-21858959@events.umich.edu
URL:https://events.umich.edu/event/127379
CLASS:PUBLIC
STATUS:CONFIRMED
CATEGORIES:
LOCATION:
CONTACT:
END:VEVENT
BEGIN:VEVENT
DTSTAMP:20241101T135443
DTSTART;TZID=America/Detroit:20241119T120000
DTEND;TZID=America/Detroit:20241119T130000
SUMMARY:Presentation:Towards Provably Safe and Secure Systems with Contract-Based Design
DESCRIPTION:Systems companies struggle to integrate into complex designs 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. Assume-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.\n---\nAbout the speaker: 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. Before pursuing a PhD\, Inigo was an IC designer in Austin. His work has been supported by the ASEE/NSF eFellows program and the UC Berkeley Chancellor's Fellowship.
UID:128623-21861374@events.umich.edu
URL:https://events.umich.edu/event/128623
CLASS:PUBLIC
STATUS:CONFIRMED
CATEGORIES:Networking,Free,Michigan Engineering,Lecture,Talk,Research,seminar,Education,Engineering,Electrical Engineering and Computer Science,Discussion,Engineering Academic Calendar,Faculty
LOCATION:Transportation Research Institute - Room 139
CONTACT:
END:VEVENT
END:VCALENDAR