<html>
<head>
<meta http-equiv="Content-Type" content="text/html; charset=us-ascii">
</head>
<body style="overflow-wrap: break-word; -webkit-nbsp-mode: space; line-break: after-white-space;">
<div style="caret-color: rgb(60, 64, 67); color: rgb(60, 64, 67); font-family: Roboto, Helvetica, Arial, sans-serif;">
<p class="MsoNormal" style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0); margin: 0in; font-size: 10pt; font-family: Calibri, sans-serif;">
<i><span style="font-size: 12pt; font-family: Helvetica; color: rgb(139, 1, 2);">UNIVERSITY OF CHICAGO</span></i><o:p></o:p></p>
<p class="MsoNormal" style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0); margin: 0in; font-size: 10pt; font-family: Calibri, sans-serif;">
<i><span style="font-size: 12pt; font-family: Helvetica; color: rgb(139, 1, 2);">COMPUTER SCIENCE DEPARTMENT</span></i><o:p></o:p></p>
<div style="font-family: Helvetica;"><i style="font-family: Calibri, sans-serif; font-size: 10pt;"><span style="font-size: 12pt; font-family: Helvetica; color: rgb(139, 1, 2);">PRESENTS</span></i></div>
</div>
<div>
<div dir="auto" style="overflow-wrap: break-word; -webkit-nbsp-mode: space; line-break: after-white-space;">
<div dir="auto" style="overflow-wrap: break-word; -webkit-nbsp-mode: space; line-break: after-white-space;">
<div dir="auto" style="overflow-wrap: break-word; -webkit-nbsp-mode: space; line-break: after-white-space;">
<div><br>
</div>
<div><br>
</div>
<div>
<div class="elementToProof" style="font-size: 12pt; font-family: Aptos, Aptos_EmbeddedFont, Aptos_MSFontService, Calibri, Helvetica, sans-serif;">
<b>Yevgeniy Vorobeychik</b></div>
<div class="elementToProof" style="font-size: 12pt; font-family: Aptos, Aptos_EmbeddedFont, Aptos_MSFontService, Calibri, Helvetica, sans-serif;">
<b>Washington University </b></div>
<div class="elementToProof" style="font-size: 12pt; font-family: Aptos, Aptos_EmbeddedFont, Aptos_MSFontService, Calibri, Helvetica, sans-serif;">
<br>
</div>
<div class="elementToProof" style="font-size: 12pt; font-family: Aptos, Aptos_EmbeddedFont, Aptos_MSFontService, Calibri, Helvetica, sans-serif;">
<b>In-Person - Monday, March 31, 2025 at 2:00pm</b></div>
<div class="elementToProof" style="font-size: 12pt; font-family: Aptos, Aptos_EmbeddedFont, Aptos_MSFontService, Calibri, Helvetica, sans-serif;">
<b>Location: JCL 298</b></div>
</div>
</div>
</div>
</div>
</div>
<div>
<div dir="auto" style="text-align: start; text-indent: 0px; overflow-wrap: break-word; -webkit-nbsp-mode: space; line-break: after-white-space;">
<div dir="auto" style="text-align: start; text-indent: 0px; overflow-wrap: break-word; -webkit-nbsp-mode: space; line-break: after-white-space;">
<div dir="auto" style="text-align: start; text-indent: 0px; overflow-wrap: break-word; -webkit-nbsp-mode: space; line-break: after-white-space;">
<div>
<div style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0); letter-spacing: normal; text-transform: none; white-space: normal; word-spacing: 0px; text-decoration: none; -webkit-text-stroke-width: 0px;">
<br>
</div>
<div style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0); letter-spacing: normal; text-transform: none; white-space: normal; word-spacing: 0px; text-decoration: none; -webkit-text-stroke-width: 0px;">
<b><font size="3">Zoom - Topic: Achieving AI Safety in a Contested World </font></b></div>
<div style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0); letter-spacing: normal; text-transform: none; white-space: normal; word-spacing: 0px; text-decoration: none; -webkit-text-stroke-width: 0px;">
<b><font size="3">Time: Mar 31, 2025 02:00 PM Central Time (US and Canada)</font></b></div>
<div style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0); letter-spacing: normal; text-transform: none; white-space: normal; word-spacing: 0px; text-decoration: none; -webkit-text-stroke-width: 0px;">
<b><font size="3">Join Zoom Meeting</font></b></div>
<div>
<div style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0); letter-spacing: normal; text-transform: none; white-space: normal; word-spacing: 0px; text-decoration: none; -webkit-text-stroke-width: 0px; display: block;">
<div style="-webkit-user-select: all; -webkit-user-drag: element; display: inline-block;" class="apple-rich-link" draggable="true" role="link" data-url="https://uchicago.zoom.us/j/96095992787?pwd=o9pAe1mxPpFBGllfbG0hqpsh57O1ma.1">
<a style="border-radius:10px;font-family:-apple-system, Helvetica, Arial, sans-serif;display:block;-webkit-user-select:none;width:300px;user-select:none;-webkit-user-modify:read-only;user-modify:read-only;overflow:hidden;text-decoration:none;" class="lp-rich-link" rel="nofollow" href="https://uchicago.zoom.us/j/96095992787?pwd=o9pAe1mxPpFBGllfbG0hqpsh57O1ma.1" dir="ltr" role="button" draggable="false" width="300">
<table style="table-layout:fixed;border-collapse:collapse;width:300px;background-color:#0037B3;font-family:-apple-system, Helvetica, Arial, sans-serif;" class="lp-rich-link-emailBaseTable" cellpadding="0" cellspacing="0" border="0" width="300">
<tbody>
<tr>
<td vertical-align="center">
<table bgcolor="#0037B3" cellpadding="0" cellspacing="0" width="300" style="table-layout:fixed;font-family:-apple-system, Helvetica, Arial, sans-serif;background-color:rgba(0, 55, 179, 1);-apple-color-filter:initial;" class="lp-rich-link-captionBar">
<tbody>
<tr>
<td style="padding:8px 0px 8px 0px;" class="lp-rich-link-captionBar-textStackItem">
<div style="max-width:100%;margin:0px 16px 0px 16px;overflow:hidden;" class="lp-rich-link-captionBar-textStack">
<div style="word-wrap:break-word;font-weight:500;font-size:12px;overflow:hidden;text-overflow:ellipsis;text-align:left;" class="lp-rich-link-captionBar-textStack-topCaption-leading">
<a rel="nofollow" href="https://uchicago.zoom.us/j/96095992787?pwd=o9pAe1mxPpFBGllfbG0hqpsh57O1ma.1" style="text-decoration: none" draggable="false"><font color="#FFFFFF" style="color: rgba(255, 255, 255, 0.847059);">Join our Cloud HD Video Meeting</font></a></div>
<div style="word-wrap:break-word;font-weight:400;font-size:11px;overflow:hidden;text-overflow:ellipsis;text-align:left;" class="lp-rich-link-captionBar-textStack-bottomCaption-leading">
<a rel="nofollow" href="https://uchicago.zoom.us/j/96095992787?pwd=o9pAe1mxPpFBGllfbG0hqpsh57O1ma.1" style="text-decoration: none" draggable="false"><font color="#FFFFFF" style="color: rgba(255, 255, 255, 0.54902);">uchicago.zoom.us</font></a></div>
</div>
</td>
<td style="padding:6px 12px 6px 0px;" class="lp-rich-link-captionBar-rightIconItem" width="30">
<a rel="nofollow" href="https://uchicago.zoom.us/j/96095992787?pwd=o9pAe1mxPpFBGllfbG0hqpsh57O1ma.1" draggable="false"><img style="pointer-events:none !important;display:inline-block;width:30px;height:30px;border-radius:3px;" width="30" height="30" draggable="false" class="lp-rich-link-captionBar-rightIcon" alt="zoom.ico" src="cid:3B414055-CEB7-4538-992E-77EB863CA3D0"></a></td>
</tr>
</tbody>
</table>
</td>
</tr>
</tbody>
</table>
</a></div>
</div>
</div>
<div style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0); letter-spacing: normal; text-transform: none; white-space: normal; word-spacing: 0px; text-decoration: none; -webkit-text-stroke-width: 0px;">
<b><font size="3">Meeting ID: 960 9599 2787</font></b></div>
<div style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0); letter-spacing: normal; text-transform: none; white-space: normal; word-spacing: 0px; text-decoration: none; -webkit-text-stroke-width: 0px;">
<b><font size="3">Passcode: 903662</font></b></div>
<div style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0); letter-spacing: normal; text-transform: none; white-space: normal; word-spacing: 0px; text-decoration: none; -webkit-text-stroke-width: 0px;">
<b><font size="3"><br>
</font></b></div>
<div style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0); letter-spacing: normal; text-transform: none; white-space: normal; word-spacing: 0px; text-decoration: none; -webkit-text-stroke-width: 0px;">
<div dir="auto" style="overflow-wrap: break-word; -webkit-nbsp-mode: space; line-break: after-white-space;">
<div dir="auto" style="overflow-wrap: break-word; -webkit-nbsp-mode: space; line-break: after-white-space;">
<div dir="auto" style="overflow-wrap: break-word; -webkit-nbsp-mode: space; line-break: after-white-space;">
<div dir="auto" style="overflow-wrap: break-word; -webkit-nbsp-mode: space; line-break: after-white-space;">
<div dir="auto" style="overflow-wrap: break-word; -webkit-nbsp-mode: space; line-break: after-white-space;">
<div dir="auto" style="overflow-wrap: break-word; -webkit-nbsp-mode: space; line-break: after-white-space;">
<div class="elementToProof" style="font-family: Aptos, Aptos_EmbeddedFont, Aptos_MSFontService, Calibri, Helvetica, sans-serif;">
<p class="MsoNormal" style="font-size: 12pt; margin: 0in; font-family: Aptos, sans-serif;">
<b><span style="font-size: 11pt; color: rgb(33, 33, 33);">Title:</span></b><span style="font-size: 11pt; color: rgb(33, 33, 33);"> <b>Achieving AI Safety in a Contested World</b><o:p></o:p></span></p>
<p class="MsoNormal" style="font-size: 12pt; margin: 0in; font-family: Aptos, sans-serif;">
<span style="font-size: 11pt; color: rgb(33, 33, 33);"> <o:p></o:p></span></p>
<p class="MsoNormal" style="margin: 0in; font-family: Aptos, sans-serif;"><span style="font-size: 14.666667px;"><b><span style="color: rgb(33, 33, 33);">Abstract:</span></b><span style="color: rgb(33, 33, 33);"> As the increasing capabilities of AI-enabled
systems have led to broad deployment across diverse applications ranging from conversational agents to self-driving cars, safety considerations have come to be central to the current research agenda. However, the very meaning of safety has come to be broad
and in some cases contested. For example, there may be responses to conversational prompts that some may deem neutral, while others offensive, or autonomous driving behaviors that some may view as efficient while others perceive them as dangerously aggressive.
A useful way to conceptualize safety considerations is to divide these into two categories: objective and subjective. The former (for example, running over a pedestrian) is not reasonable contested, while the latter (for example, how aggressively a self-driving
car should merge onto a freeway) can admit a range of legitimate perspectives.<o:p></o:p></span></span></p>
<p class="MsoNormal" style="margin: 0in; font-family: Aptos, sans-serif;"><span style="color: rgb(33, 33, 33); font-size: 14.666667px;"> <o:p></o:p></span></p>
<p class="MsoNormal" style="margin: 0in; font-family: Aptos, sans-serif;"><span style="color: rgb(33, 33, 33); font-size: 14.666667px;">In this talk, I will present our recent work tackling both objective and subjective safety considerations. On the former,
I will present learning-based approaches for synthesizing provably stable and safe neural network controllers in known dynamical systems, combining gradient-based methods for both synthesis and verification with ideas from curriculum learning. Further, I
will briefly discuss our recent work that facilitates safety specifications that combine natural language with formal logic, in which we combine LLMs with conformal prediction to obtain provably correct plans. For the latter, I will discuss an axiomatic framework
for preference learning that accounts for disagreement in safety preferences, as well as a novel approach for reinforcement learning with diverse task (e.g., safety) specifications that achieves provable performance guarantees and state-of-the-art performance
in zero-shot and few-shot settings.<o:p></o:p></span></p>
<p class="MsoNormal" style="margin: 0in; font-family: Aptos, sans-serif;"><o:p style="font-size: 14.666667px;"> </o:p></p>
<p class="MsoNormal" style="margin: 0in; font-family: Aptos, sans-serif;"><span style="font-size: 14.666667px;"><b>Bio. <a href="https://urldefense.com/v3/__https://vorobeychik.com/__;!!BpyFHLRN4TMTrA!_h3T87phpwu-HrW5lv_lOXjH_GSOIhfXNdqmCmWjucq9l1k71DWjx50RdvyeNrQrdFwe3i95WACAm-yIR_y-D0bVVQPbZA9WqXvw0Q$" style="color: rgb(70, 120, 134);">Yevgeniy
Vorobeychik</a></b> is a Professor of Computer Science & Engineering at Washington University in Saint Louis. Previously, he was an Assistant Professor of Computer Science at Vanderbilt University. Between 2008 and 2010 he was a post-doctoral research associate
at the University of Pennsylvania Computer and Information Science department. He received Ph.D. (2008) and M.S.E. (2004) degrees in Computer Science and Engineering from the University of Michigan, and a B.S. degree in Computer Engineering from Northwestern
University. His work focuses on game theoretic modeling of security and privacy, adversarial machine learning, algorithmic and behavioral game theory and incentive design, optimization, agent-based modeling, complex systems, network science, and epidemic control.
Dr. Vorobeychik received an NSF CAREER award in 2017, and was invited to give an IJCAI-16 early career spotlight talk. He also received several Best Paper awards, including one of 2017 Best Papers in Health Informatics. He was nominated for the 2008 ACM Doctoral
Dissertation Award and received honorable mention for the 2008 IFAAMAS Distinguished Dissertation Award.<o:p></o:p></span></p>
<p class="MsoNormal" style="margin: 0in; font-family: Aptos, sans-serif;"><o:p style="font-size: 14.666667px;"> </o:p></p>
<p class="MsoNormal" style="margin: 0in; font-family: Aptos, sans-serif;"><b style="font-size: 14.666667px;">Host: Haifeng Xu</b></p>
</div>
</div>
</div>
</div>
</div>
<br class="Apple-interchange-newline">
</div>
<br class="Apple-interchange-newline">
</div>
<img id="<2200ACA6-1C2C-46E1-9A24-D22F063A920F>" src="cid:867B59F0-A066-48A7-B391-1996B966622A" alt="yv_photo.jpg" type="application/x-apple-msg-attachment" class="Apple-web-attachment" style="opacity: 1;"></div>
<div style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0); letter-spacing: normal; text-transform: none; white-space: normal; word-spacing: 0px; text-decoration: none; -webkit-text-stroke-width: 0px;">
<br>
</div>
<div style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0); letter-spacing: normal; text-transform: none; white-space: normal; word-spacing: 0px; text-decoration: none; -webkit-text-stroke-width: 0px;">
<br>
</div>
</div>
</div>
</div>
</div>
</div>
</body>
</html>