<html>
<head>
<meta http-equiv="Content-Type" content="text/html; charset=Windows-1252">
<style type="text/css" style="display:none;"> P {margin-top:0;margin-bottom:0;} </style>
</head>
<body dir="ltr">
<div style="font-family: Arial, Helvetica, sans-serif; font-size: 11pt; color: rgb(0, 0, 0); background-color: rgb(255, 255, 255);" class="elementToProof ContentPasted0">
</div>
<h1 style="display: block; margin: 0px; font-family: Helvetica; font-size: 26px; font-weight: bold; line-height: 32.5px; text-align: center; color: rgb(32, 32, 32); background-color: rgb(255, 255, 255);">
<span class="x_ContentPasted0" style="margin: 0px; color: rgb(75, 0, 130);">Upcoming IDEAL Workshop on Machine Learning, Interpretability, and Logic</span></h1>
<h4 class="x_ContentPasted0" style="display: block; margin: 0px; font-family: Helvetica; font-size: 18px; font-weight: bold; line-height: 22.5px; text-align: center; color: rgb(32, 32, 32); background-color: rgb(255, 255, 255);">
<br class="x_ContentPasted0">
<span style="margin:0px"><strong class="x_ContentPasted0"> </strong></span><br class="x_ContentPasted0">
Mon-Fri. Apr 10-14, 2023, In Person at Various Institutions, Chicago<br class="x_ContentPasted0">
Tuesday, April 11th at University of Chicago</h4>
<br class="x_ContentPasted0" style="font-size: 16px; font-family: Helvetica; text-align: left; color: rgb(32, 32, 32); background-color: rgb(255, 255, 255);">
<span class="x_ContentPasted0" style="font-size: 16px; font-family: Helvetica; margin: 0px; text-align: left; display: inline !important; color: rgb(32, 32, 32); background-color: rgb(255, 255, 255);">Dear Colleagues,</span><span style="font-family: Calibri, Arial, Helvetica, sans-serif; font-size: 16px; display: inline !important; background-color: rgb(255, 255, 255);"></span>
<p class="x_ContentPasted0" style="margin: 10px 0px; font-size: 16px; font-family: Helvetica; line-height: 24px; text-align: left; color: rgb(32, 32, 32); background-color: rgb(255, 255, 255);">
We are inviting you to attend the IDEAL Workshop on Machine Learning, Interpretability, and Logic. The workshop will take place at UIC, UChicago, IIT, Northwestern and TTI-C. It will be an in-person event. You can find more information about the workshop at
the <a href="https://urldefense.com/v3/__https://www.ideal-institute.org/2023/03/09/workshop-on-machine-learning-interpretability-and-logic/__;!!Dq0X2DkFhyF93HkjWTBQKhk!UeUl2RQsMqlQuiWsEeh52LOlFpiL_5ikfrz8iB5-y8a54ibWPmAhrbMhckm_MlrgRGCU3wdsjTdNxU5AtF5s6P4nTJY0-51aMHU$" target="_blank" rel="noopener noreferrer" data-auth="NotApplicable" data-safelink="true" data-linkindex="0" class="x_ContentPasted0" data-loopstyle="link" style="font-weight: normal; margin: 0px; text-decoration: underline; color: rgb(0, 124, 137);">workshop
webpage</a>. </p>
<p class="x_ContentPasted0" style="margin: 10px 0px; font-size: 16px; font-family: Helvetica; line-height: 24px; text-align: left; color: rgb(32, 32, 32); background-color: rgb(255, 255, 255);">
<br class="x_ContentPasted0">
<span style="margin: 0px; color: rgb(75, 0, 130);"><strong class="x_ContentPasted0">Synopsis</strong></span><br class="x_ContentPasted0">
<br class="x_ContentPasted0">
The field of interpretability aims to make algorithms understandable to humans, especially machine learning algorithms, which are often trained on huge datasets and have a large number of parameters. This workshop will explore connections between this topic
and the program’s theme of machine learning and logic.<br class="x_ContentPasted0">
<br class="x_ContentPasted0">
This workshop will be in-person, please forward this announcement to anyone who might be interested.<br class="x_ContentPasted0">
<br class="x_ContentPasted0">
<span style="margin: 0px; color: rgb(75, 0, 130);"><strong class="x_ContentPasted0">Logistics</strong></span></p>
<ul style="font-size: 16px; font-family: Helvetica; text-align: left; color: rgb(32, 32, 32); background-color: rgb(255, 255, 255);">
<li class="x_ContentPasted0"><strong class="x_ContentPasted0">Dates:<span class="x_ContentPasted0" style="margin:0px"> </span></strong>Mon-Fri, April 10-14</li><li class="x_ContentPasted0"><strong class="x_ContentPasted0">In-person Location:</strong> </li></ul>
<div style="font-size: 16px; font-family: Helvetica; margin: 0px; text-align: center; color: rgb(32, 32, 32); background-color: rgb(255, 255, 255);">
<p class="x_ContentPasted0" style="margin:10px 0px;line-height:24px">Monday 4/10: University of Illinois Chicago<br class="x_ContentPasted0">
Ft. Deerborn, Student Center East, 750 S. Halsted Chicago</p>
<p class="x_ContentPasted0" style="margin:10px 0px;line-height:24px">Tuesday 4/11: University of Chicago<br class="x_ContentPasted0">
Jones laboratory 303, 5747 S. Ellis Avenue</p>
<p class="x_ContentPasted0" style="margin:10px 0px;line-height:24px">Wednesday 4/12: Illinois Institute of Technology:<br class="x_ContentPasted0">
John T. Retaliate Engineering Center, 130, the Mies Campus</p>
<p class="x_ContentPasted0" style="margin:10px 0px;line-height:24px">Thursday 4/13: Northwestern University<br class="x_ContentPasted0">
Mudd 3514, 2233 Tech Drive, Evanston</p>
<p class="x_ContentPasted0" style="margin:10px 0px;line-height:24px">Friday 4/14: Toyota Technological Institute at Chicago<br class="x_ContentPasted0">
6045 S. Kenwood Avenue, room 530</p>
<div class="x_ContentPasted0" style="margin:0px"> </div>
</div>
<ul style="font-size: 16px; font-family: Helvetica; text-align: left; color: rgb(32, 32, 32); background-color: rgb(255, 255, 255);">
<li><strong class="x_ContentPasted0">Registration: </strong><a href="https://urldefense.com/v3/__https://docs.google.com/forms/d/e/1FAIpQLSf-3T-91BZ82Tard1YsaMh5JPnlk9YNYkprcBimzLnSxlxGkg/viewform__;!!Dq0X2DkFhyF93HkjWTBQKhk!UeUl2RQsMqlQuiWsEeh52LOlFpiL_5ikfrz8iB5-y8a54ibWPmAhrbMhckm_MlrgRGCU3wdsjTdNxU5AtF5s6P4nTJY03GrJgfY$" target="_blank" rel="noopener noreferrer" data-auth="NotApplicable" data-safelink="true" data-linkindex="1" class="x_ContentPasted0" data-loopstyle="link" style="font-weight: normal; margin: 0px; text-decoration: underline; color: rgb(0, 124, 137);">Click
here to register</a></li></ul>
<p style="margin: 10px 0px; font-size: 16px; font-family: Helvetica; line-height: 24px; text-align: left; color: rgb(32, 32, 32); background-color: rgb(255, 255, 255);">
<br class="x_ContentPasted0">
<span style="margin: 0px; color: rgb(75, 0, 130);"><strong class="x_ContentPasted0">Speakers</strong></span></p>
<p class="x_ContentPasted0" style="margin: 10px 0px; font-size: 16px; font-family: Helvetica; line-height: 24px; text-align: left; color: rgb(32, 32, 32); background-color: rgb(255, 255, 255);">
<br>
<a href="https://urldefense.com/v3/__http://www.cril.univ-artois.fr/*audemard/__;fg!!Dq0X2DkFhyF93HkjWTBQKhk!UeUl2RQsMqlQuiWsEeh52LOlFpiL_5ikfrz8iB5-y8a54ibWPmAhrbMhckm_MlrgRGCU3wdsjTdNxU5AtF5s6P4nTJY0uJbQMBQ$" target="_blank" rel="noopener noreferrer" data-auth="NotApplicable" data-safelink="true" data-linkindex="2" class="x_ContentPasted0" data-loopstyle="link" style="font-weight: normal; margin: 0px; text-decoration: underline; color: rgb(0, 124, 137);">Gilles
Audemard</a> (Artois University), <a href="https://urldefense.com/v3/__https://cs.uwaterloo.ca/*shai/__;fg!!Dq0X2DkFhyF93HkjWTBQKhk!UeUl2RQsMqlQuiWsEeh52LOlFpiL_5ikfrz8iB5-y8a54ibWPmAhrbMhckm_MlrgRGCU3wdsjTdNxU5AtF5s6P4nTJY0WA0j_c8$" target="_blank" rel="noopener noreferrer" data-auth="NotApplicable" data-safelink="true" data-linkindex="3" class="x_ContentPasted0" data-loopstyle="link" style="font-weight: normal; margin: 0px; text-decoration: underline; color: rgb(0, 124, 137);">Shai
Ben-David</a> (University of Waterloo), <a href="https://urldefense.com/v3/__https://www.tml.cs.uni-tuebingen.de/team/bordt/index.php__;!!Dq0X2DkFhyF93HkjWTBQKhk!UeUl2RQsMqlQuiWsEeh52LOlFpiL_5ikfrz8iB5-y8a54ibWPmAhrbMhckm_MlrgRGCU3wdsjTdNxU5AtF5s6P4nTJY07SwX8bk$" target="_blank" rel="noopener noreferrer" data-auth="NotApplicable" data-safelink="true" data-linkindex="4" class="x_ContentPasted0" data-loopstyle="link" style="font-weight: normal; margin: 0px; text-decoration: underline; color: rgb(0, 124, 137);">Sebastian
Bordt</a> (University of Tübingen), <a href="https://urldefense.com/v3/__https://simina.info/__;!!Dq0X2DkFhyF93HkjWTBQKhk!UeUl2RQsMqlQuiWsEeh52LOlFpiL_5ikfrz8iB5-y8a54ibWPmAhrbMhckm_MlrgRGCU3wdsjTdNxU5AtF5s6P4nTJY0YPwv1qA$" target="_blank" rel="noopener noreferrer" data-auth="NotApplicable" data-safelink="true" data-linkindex="5" class="x_ContentPasted0" data-loopstyle="link" style="font-weight: normal; margin: 0px; text-decoration: underline; color: rgb(0, 124, 137);">Simina
Brânzei</a> (Purdue University), <a href="https://urldefense.com/v3/__http://web.cs.ucla.edu/*guyvdb/__;fg!!Dq0X2DkFhyF93HkjWTBQKhk!UeUl2RQsMqlQuiWsEeh52LOlFpiL_5ikfrz8iB5-y8a54ibWPmAhrbMhckm_MlrgRGCU3wdsjTdNxU5AtF5s6P4nTJY00GfDE0k$" target="_blank" rel="noopener noreferrer" data-auth="NotApplicable" data-safelink="true" data-linkindex="6" class="x_ContentPasted0" data-loopstyle="link" style="font-weight: normal; margin: 0px; text-decoration: underline; color: rgb(0, 124, 137);">Guy
Van den Broeck</a> (University of California, Los Angeles), <a href="https://urldefense.com/v3/__https://www.microsoft.com/en-us/research/people/rcaruana/__;!!Dq0X2DkFhyF93HkjWTBQKhk!UeUl2RQsMqlQuiWsEeh52LOlFpiL_5ikfrz8iB5-y8a54ibWPmAhrbMhckm_MlrgRGCU3wdsjTdNxU5AtF5s6P4nTJY0BjpYqtk$" target="_blank" rel="noopener noreferrer" data-auth="NotApplicable" data-safelink="true" data-linkindex="7" class="x_ContentPasted0" data-loopstyle="link" style="font-weight: normal; margin: 0px; text-decoration: underline; color: rgb(0, 124, 137);">Rich
Caruana</a> (Microsoft Research), <a href="https://urldefense.com/v3/__https://www.zacharylipton.com/__;!!Dq0X2DkFhyF93HkjWTBQKhk!UeUl2RQsMqlQuiWsEeh52LOlFpiL_5ikfrz8iB5-y8a54ibWPmAhrbMhckm_MlrgRGCU3wdsjTdNxU5AtF5s6P4nTJY0ECHJi-c$" target="_blank" rel="noopener noreferrer" data-auth="NotApplicable" data-safelink="true" data-linkindex="8" class="x_ContentPasted0" data-loopstyle="link" style="font-weight: normal; margin: 0px; text-decoration: underline; color: rgb(0, 124, 137);">Zachary
Lipton</a> (Carnegie Mellon University), <a href="https://urldefense.com/v3/__http://homepages.math.uic.edu/*gyt/__;fg!!Dq0X2DkFhyF93HkjWTBQKhk!UeUl2RQsMqlQuiWsEeh52LOlFpiL_5ikfrz8iB5-y8a54ibWPmAhrbMhckm_MlrgRGCU3wdsjTdNxU5AtF5s6P4nTJY0foE4SSo$" target="_blank" rel="noopener noreferrer" data-auth="NotApplicable" data-safelink="true" data-linkindex="9" class="x_ContentPasted0" data-loopstyle="link" style="font-weight: normal; margin: 0px; text-decoration: underline; color: rgb(0, 124, 137);">Gyorgy Turan</a> (University
of Illinois at Chicago)<br class="x_ContentPasted0">
</p>
<p style="margin: 10px 0px; font-size: 16px; font-family: Helvetica; line-height: 24px; text-align: left; color: rgb(32, 32, 32); background-color: rgb(255, 255, 255);">
<span style="margin: 0px; color: rgb(75, 0, 130);"><strong class="x_ContentPasted0">Student Presenters</strong></span></p>
<p class="x_ContentPasted0" style="margin: 10px 0px; font-size: 16px; font-family: Helvetica; line-height: 24px; text-align: left; color: rgb(32, 32, 32); background-color: rgb(255, 255, 255);">
<br>
<a href="https://urldefense.com/v3/__https://mscs.uic.edu/profiles/gfourn2/__;!!Dq0X2DkFhyF93HkjWTBQKhk!UeUl2RQsMqlQuiWsEeh52LOlFpiL_5ikfrz8iB5-y8a54ibWPmAhrbMhckm_MlrgRGCU3wdsjTdNxU5AtF5s6P4nTJY0ahBx_Jk$" target="_blank" rel="noopener noreferrer" data-auth="NotApplicable" data-safelink="true" data-linkindex="10" class="x_ContentPasted0" data-loopstyle="link" style="font-weight: normal; margin: 0px; text-decoration: underline; color: rgb(0, 124, 137);">Gregoire
Fournier</a> (University of Illinois at Chicago), <a href="https://urldefense.com/v3/__https://anmolkabra.com/__;!!Dq0X2DkFhyF93HkjWTBQKhk!UeUl2RQsMqlQuiWsEeh52LOlFpiL_5ikfrz8iB5-y8a54ibWPmAhrbMhckm_MlrgRGCU3wdsjTdNxU5AtF5s6P4nTJY09lXfgtI$" target="_blank" rel="noopener noreferrer" data-auth="NotApplicable" data-safelink="true" data-linkindex="11" class="x_ContentPasted0" data-loopstyle="link" style="font-weight: normal; margin: 0px; text-decoration: underline; color: rgb(0, 124, 137);">Anmol
Kabra</a> (Toyota Technological Institute at Chicago), <a href="https://urldefense.com/v3/__https://scholar.google.com/citations?user=8e07fdcAAAAJ&hl=en__;!!Dq0X2DkFhyF93HkjWTBQKhk!UeUl2RQsMqlQuiWsEeh52LOlFpiL_5ikfrz8iB5-y8a54ibWPmAhrbMhckm_MlrgRGCU3wdsjTdNxU5AtF5s6P4nTJY0HjaNQ6k$" target="_blank" rel="noopener noreferrer" data-auth="NotApplicable" data-safelink="true" data-linkindex="12" class="x_ContentPasted0" data-loopstyle="link" style="font-weight: normal; margin: 0px; text-decoration: underline; color: rgb(0, 124, 137);">Omid
Halimi Milani</a> (University of Illinois at Chicago), <a href="https://urldefense.com/v3/__https://kavyar314.github.io/__;!!Dq0X2DkFhyF93HkjWTBQKhk!UeUl2RQsMqlQuiWsEeh52LOlFpiL_5ikfrz8iB5-y8a54ibWPmAhrbMhckm_MlrgRGCU3wdsjTdNxU5AtF5s6P4nTJY0BAEM7TM$" target="_blank" rel="noopener noreferrer" data-auth="NotApplicable" data-safelink="true" data-linkindex="13" class="x_ContentPasted0" data-loopstyle="link" style="font-weight: normal; margin: 0px; text-decoration: underline; color: rgb(0, 124, 137);">Kavya
Ravichandran</a> (Toyota Technological Institute at Chicago), <a href="https://urldefense.com/v3/__https://sites.northwestern.edu/liren/__;!!BpyFHLRN4TMTrA!9PH_MbqSwLhMNG-hkX5-tOT007X7zPYnuXUn_h76AA8zGMLXrYTK9Q1JbCnTBDm8knwtDaX9O1C0Oe8HC1OBKqb2DLMHuAA$" target="_blank" rel="noopener noreferrer" data-auth="NotApplicable" data-safelink="true" data-linkindex="14" class="x_ContentPasted0" data-loopstyle="link" style="font-weight: normal; margin: 0px; text-decoration: underline; color: rgb(0, 124, 137);">Liren
Shan</a> (Northwestern University), <a href="https://urldefense.com/v3/__https://42shawn.github.io/__;!!Dq0X2DkFhyF93HkjWTBQKhk!UeUl2RQsMqlQuiWsEeh52LOlFpiL_5ikfrz8iB5-y8a54ibWPmAhrbMhckm_MlrgRGCU3wdsjTdNxU5AtF5s6P4nTJY0BFpkxdc$" target="_blank" rel="noopener noreferrer" data-auth="NotApplicable" data-safelink="true" data-linkindex="15" class="x_ContentPasted0" data-loopstyle="link" style="font-weight: normal; margin: 0px; text-decoration: underline; color: rgb(0, 124, 137);">Yuzhang
Shang</a> (Illinois Institute of Technology), <a href="https://urldefense.com/v3/__https://sites.google.com/view/hanshao?pli=1__;!!Dq0X2DkFhyF93HkjWTBQKhk!UeUl2RQsMqlQuiWsEeh52LOlFpiL_5ikfrz8iB5-y8a54ibWPmAhrbMhckm_MlrgRGCU3wdsjTdNxU5AtF5s6P4nTJY0cgjPA7k$" target="_blank" rel="noopener noreferrer" data-auth="NotApplicable" data-safelink="true" data-linkindex="16" class="x_ContentPasted0" data-loopstyle="link" style="font-weight: normal; margin: 0px; text-decoration: underline; color: rgb(0, 124, 137);">Han
Shao</a> (Toyota Technological Institute at Chicago), <a href="https://urldefense.com/v3/__https://home.ttic.edu/*kstangl/__;fg!!Dq0X2DkFhyF93HkjWTBQKhk!UeUl2RQsMqlQuiWsEeh52LOlFpiL_5ikfrz8iB5-y8a54ibWPmAhrbMhckm_MlrgRGCU3wdsjTdNxU5AtF5s6P4nTJY0Hje9RH4$" target="_blank" rel="noopener noreferrer" data-auth="NotApplicable" data-safelink="true" data-linkindex="17" class="x_ContentPasted0" data-loopstyle="link" style="font-weight: normal; margin: 0px; text-decoration: underline; color: rgb(0, 124, 137);">Kevin
Stangl</a> (Toyota Technological Institute at Chicago), Ruo Yang (Illinois Institute of Technology), <a href="https://urldefense.com/v3/__http://homepages.math.uic.edu/*kzhou23/__;fg!!Dq0X2DkFhyF93HkjWTBQKhk!UeUl2RQsMqlQuiWsEeh52LOlFpiL_5ikfrz8iB5-y8a54ibWPmAhrbMhckm_MlrgRGCU3wdsjTdNxU5AtF5s6P4nTJY01L-Cz2o$" target="_blank" rel="noopener noreferrer" data-auth="NotApplicable" data-safelink="true" data-linkindex="18" class="x_ContentPasted0" data-loopstyle="link" style="font-weight: normal; margin: 0px; text-decoration: underline; color: rgb(0, 124, 137);">Kevin
Zhou</a> (University of Illinois at Chicago)<br class="x_ContentPasted0">
</p>
<h4 style="display: block; margin: 0px; font-family: Helvetica; font-size: 18px; font-weight: bold; line-height: 22.5px; text-align: left; color: rgb(32, 32, 32); background-color: rgb(255, 255, 255);">
<span style="margin: 0px; color: rgb(75, 0, 130);"><strong class="x_ContentPasted0">Schedule</strong></span></h4>
<p class="x_ContentPasted0" style="margin: 10px 0px; font-size: 16px; font-family: Helvetica; line-height: 24px; text-align: left; color: rgb(32, 32, 32); background-color: rgb(255, 255, 255);">
All times are in the Central Time Zone (CDT; Chicago time).<br class="x_ContentPasted0">
<strong class="x_ContentPasted0">Tuesday, April 11th:</strong></p>
<ul style="font-size: 16px; font-family: Helvetica; text-align: left; color: rgb(32, 32, 32); background-color: rgb(255, 255, 255);">
<li class="x_ContentPasted0">10:00 am welcoming remarks / socializing</li><li><strong class="x_ContentPasted0">10:30 am – 11:30 am Zachary Lipton (CMU)</strong></li><li><strong class="x_ContentPasted0">11:30 am – 12:00 pm Kevin Stangl (TTIC)<em class="x_ContentPasted0"> </em></strong><em class="x_ContentPasted0">Sequential Strategic Screening</em></li><li class="x_ContentPasted0">12:00 pm – 2:00 pm lunch</li><li><strong class="x_ContentPasted0">2:00 pm – 2:30 pm Omid Halimi Milani (UIC) </strong><em class="x_ContentPasted0">Predicting Incident Hypertension in Obstructive Sleep Apnea Using Machine Learning</em></li><li><strong class="x_ContentPasted0">2:30 pm – 3:00 pm Kevin Zhou (UIC)<em class="x_ContentPasted0"> </em></strong><em class="x_ContentPasted0">Query learning of automata</em></li><li class="x_ContentPasted0">3:00 pm – 4:00 open discussion with students & faculty</li></ul>
<strong class="x_ContentPasted0" style="font-size: 16px; font-family: Helvetica; text-align: left; color: rgb(32, 32, 32); background-color: rgb(255, 255, 255);">Schedule for the week:</strong><span style="font-size: 16px; font-family: Helvetica; margin: 0px; text-align: left; display: inline !important; color: rgb(32, 32, 32); background-color: rgb(255, 255, 255);"></span><span style="font-family: Calibri, Arial, Helvetica, sans-serif; font-size: 16px; display: inline !important; background-color: rgb(255, 255, 255);"></span>
<p style="margin: 10px 0px; font-size: 16px; font-family: Helvetica; line-height: 24px; text-align: left; color: rgb(32, 32, 32); background-color: rgb(255, 255, 255);">
<strong class="x_ContentPasted0">Monday, April 10 (at UIC)</strong></p>
<table style="font-size: 16px; font-family: Helvetica; border-collapse: collapse; text-align: left; color: rgb(32, 32, 32); background-color: rgb(255, 255, 255);">
<tbody>
<tr>
<td class="x_ContentPasted0"><strong class="x_ContentPasted0">Speakers:</strong><br class="x_ContentPasted0">
Shai Ben-David (Waterloo)<br class="x_ContentPasted0">
Simina Branzei (Purdue)
<p class="x_ContentPasted0" style="margin:10px 0px;line-height:24px"><strong class="x_ContentPasted0">Student Presenters:</strong><br class="x_ContentPasted0">
Gregoire Fournier (UIC)</p>
</td>
<td class="x_ContentPasted0">10:00 am welcoming remarks / socializing<br class="x_ContentPasted0">
10:30 am – 11:30 am Shai Ben-David (Waterloo)<br class="x_ContentPasted0">
11:30 am – 12:00 pm Gregoire Fournier (UIC)<br class="x_ContentPasted0">
12:00 pm – 2:00 pm lunch<br class="x_ContentPasted0">
2:00 pm – 3:00pm Simina Branzei (Purdue)<br class="x_ContentPasted0">
3:00 pm – 4:00 open discussion with students & faculty</td>
</tr>
</tbody>
</table>
<p style="margin: 10px 0px; font-size: 16px; font-family: Helvetica; line-height: 24px; text-align: left; color: rgb(32, 32, 32); background-color: rgb(255, 255, 255);">
<br class="x_ContentPasted0">
<strong class="x_ContentPasted0">Tuesday, April 11 (at UChicago)</strong></p>
<table style="font-size: 16px; font-family: Helvetica; border-collapse: collapse; text-align: left; color: rgb(32, 32, 32); background-color: rgb(255, 255, 255);">
<tbody>
<tr>
<td class="x_ContentPasted0"><strong class="x_ContentPasted0">Speakers:</strong><br class="x_ContentPasted0">
Zachary Lipton (CMU)
<p class="x_ContentPasted0" style="margin:10px 0px;line-height:24px"><strong class="x_ContentPasted0">Student Presenters:</strong><br class="x_ContentPasted0">
Anmol Kabra (TTIC)<br class="x_ContentPasted0">
Omid Halimi Milani (UIC)<br class="x_ContentPasted0">
Kevin Stangl (TTIC)<br class="x_ContentPasted0">
Kevin Zhou (UIC)</p>
</td>
<td class="x_ContentPasted0">10:00 am welcoming remarks / socializing<br class="x_ContentPasted0">
10:30 am – 11:30 am Zachary Lipton (CMU)<br class="x_ContentPasted0">
11:30 am – 12:00 pm Anmol Kabra (TTIC)<br class="x_ContentPasted0">
12:00 pm – 1:30 pm lunch<br class="x_ContentPasted0">
1:30 pm – 2:00 pm Kevin Stangl (TTIC)<br class="x_ContentPasted0">
2:00 pm – 2:30 pm Omid Halimi Milani (UIC)<br class="x_ContentPasted0">
2:30 pm – 3:00 pm Kevin Zhou (UIC)<br class="x_ContentPasted0">
3:00 pm – 4:00 open discussion with students & faculty</td>
</tr>
</tbody>
</table>
<p class="x_ContentPasted0" style="margin: 10px 0px; font-size: 16px; font-family: Helvetica; line-height: 24px; text-align: left; color: rgb(32, 32, 32); background-color: rgb(255, 255, 255);">
</p>
<p style="margin: 10px 0px; font-size: 16px; font-family: Helvetica; line-height: 24px; text-align: left; color: rgb(32, 32, 32); background-color: rgb(255, 255, 255);">
<strong class="x_ContentPasted0">Wednesday, April 12 (at IIT)</strong></p>
<table style="font-size: 16px; font-family: Helvetica; border-collapse: collapse; text-align: left; color: rgb(32, 32, 32); background-color: rgb(255, 255, 255);">
<tbody>
<tr>
<td class="x_ContentPasted0"><strong class="x_ContentPasted0">Speakers:</strong><br class="x_ContentPasted0">
Gilles Audemard (Artois)<br class="x_ContentPasted0">
Sebastian Bordt (Tübingen)
<p class="x_ContentPasted0" style="margin:10px 0px;line-height:24px"><strong class="x_ContentPasted0">Student Presenters:</strong><br class="x_ContentPasted0">
Yuzhang Shang (IIT)<br class="x_ContentPasted0">
Ruo Yang (IIT)</p>
</td>
<td class="x_ContentPasted0">10:00 am welcoming remarks / socializing<br class="x_ContentPasted0">
10:30 am – 11:30 am Gilles Audemard (Artois)<br class="x_ContentPasted0">
11:30 am – 12:00 pm Ruo Yang (IIT)<br class="x_ContentPasted0">
12:00 pm – 1:30 pm lunch<br class="x_ContentPasted0">
1:30 pm – 2:00 pm Yuzhang Shang (IIT)<br class="x_ContentPasted0">
2:00 pm – 3:00pm Sebastian Bordt (Tübingen)<br class="x_ContentPasted0">
3:00 pm – 4:00 open discussion with students & faculty</td>
</tr>
</tbody>
</table>
<p class="x_ContentPasted0" style="margin: 10px 0px; font-size: 16px; font-family: Helvetica; line-height: 24px; text-align: left; color: rgb(32, 32, 32); background-color: rgb(255, 255, 255);">
</p>
<p style="margin: 10px 0px; font-size: 16px; font-family: Helvetica; line-height: 24px; text-align: left; color: rgb(32, 32, 32); background-color: rgb(255, 255, 255);">
<strong class="x_ContentPasted0">Thursday, April 13 (at Northwestern)</strong></p>
<table style="font-size: 16px; font-family: Helvetica; border-collapse: collapse; text-align: left; color: rgb(32, 32, 32); background-color: rgb(255, 255, 255);">
<tbody>
<tr>
<td class="x_ContentPasted0"><strong class="x_ContentPasted0">Speakers:</strong><br class="x_ContentPasted0">
Rich Caruana (MSR)<br class="x_ContentPasted0">
Guy Van den Broeck (UCLA)
<p class="x_ContentPasted0" style="margin:10px 0px;line-height:24px"><strong class="x_ContentPasted0">Student Presenters:</strong><br class="x_ContentPasted0">
Anmol Kabra (TTIC)</p>
</td>
<td class="x_ContentPasted0">10:00 am welcoming remarks / socializing<br class="x_ContentPasted0">
10:30 am – 11:30 am Rich Caruana (MSR)<br class="x_ContentPasted0">
11:30 am – 12:00 pm Anmol Kabra (TTIC)<br class="x_ContentPasted0">
12:00 pm – 2:00 pm lunch<br class="x_ContentPasted0">
2:00 pm – 3:00 pm Guy Van den Broeck (UCLA)<br class="x_ContentPasted0">
3:00 pm – 4:00 open discussion with students & faculty</td>
</tr>
</tbody>
</table>
<p class="x_ContentPasted0" style="margin: 10px 0px; font-size: 16px; font-family: Helvetica; line-height: 24px; text-align: left; color: rgb(32, 32, 32); background-color: rgb(255, 255, 255);">
</p>
<p style="margin: 10px 0px; font-size: 16px; font-family: Helvetica; line-height: 24px; text-align: left; color: rgb(32, 32, 32); background-color: rgb(255, 255, 255);">
<strong class="x_ContentPasted0">Friday, April 14 (at TTI-C)</strong></p>
<table style="font-size: 16px; font-family: Helvetica; border-collapse: collapse; text-align: left; color: rgb(32, 32, 32); background-color: rgb(255, 255, 255);">
<tbody>
<tr>
<td class="x_ContentPasted0"><strong class="x_ContentPasted0">Speakers:</strong><br class="x_ContentPasted0">
Gyorgy Turan (UIC)<br class="x_ContentPasted0">
Lee Cohen (TTIC)
<p class="x_ContentPasted0" style="margin:10px 0px;line-height:24px"><strong class="x_ContentPasted0">Student Presenters:</strong><br class="x_ContentPasted0">
Kavya Ravichandran (TTIC)<br class="x_ContentPasted0">
Liren Shan (NU)<br class="x_ContentPasted0">
Han Shao (TTIC)</p>
</td>
<td class="x_ContentPasted0">10:00 am welcoming remarks / socializing<br class="x_ContentPasted0">
10:30 am – 11:00 am Kavya Ravichandran (TTIC)<br class="x_ContentPasted0">
11:00 am – 11:30 am Liren Shan (NU)<br class="x_ContentPasted0">
11:30 am – 12:00 pm Han Shao (TTIC)<br class="x_ContentPasted0">
12:00 pm – 12:30 pm Lunch<br class="x_ContentPasted0">
12:30 pm – 1:30 pm Lee Cohen (TTIC)<br class="x_ContentPasted0">
1:30 pm – 2:00 pm break<br class="x_ContentPasted0">
2:00 pm – 3:00 pm Gyorgy Turan (UIC)<br class="x_ContentPasted0">
3:00 pm – 4:00 open discussion with students & faculty</td>
</tr>
</tbody>
</table>
<h4 style="display: block; margin: 0px; font-family: Helvetica; font-size: 18px; font-weight: bold; line-height: 22.5px; text-align: left; color: rgb(32, 32, 32); background-color: rgb(255, 255, 255);">
<br class="x_ContentPasted0">
<br class="x_ContentPasted0">
<span style="margin: 0px; color: rgb(75, 0, 130);"><strong class="x_ContentPasted0">About the Series</strong></span></h4>
<p class="x_ContentPasted0" style="margin: 10px 0px; font-size: 16px; font-family: Helvetica; line-height: 24px; text-align: left; color: rgb(32, 32, 32); background-color: rgb(255, 255, 255);">
The IDEAL workshop series brings in experts on topics related to machine learning and logic to present their perspective and research on a common theme. The workshop is part of the <a href="https://urldefense.com/v3/__https://www.ideal-institute.org/2023/01/24/winter-spring-2023-special-program/__;!!Dq0X2DkFhyF93HkjWTBQKhk!UeUl2RQsMqlQuiWsEeh52LOlFpiL_5ikfrz8iB5-y8a54ibWPmAhrbMhckm_MlrgRGCU3wdsjTdNxU5AtF5s6P4nTJY09IOkWi4$" target="_blank" rel="noopener noreferrer" data-auth="NotApplicable" data-safelink="true" data-linkindex="19" class="x_ContentPasted0" data-loopstyle="link" style="font-weight: normal; margin: 0px; text-decoration: underline; color: rgb(0, 124, 137);">IDEAL
Winter/Spring 2023 Special Quarter on Machine Learning and Logic</a>.</p>
<p class="x_ContentPasted0" style="margin: 10px 0px; font-size: 16px; font-family: Helvetica; line-height: 24px; text-align: left; color: rgb(32, 32, 32); background-color: rgb(255, 255, 255);">
This workshop is organized by <a href="https://urldefense.com/v3/__https://cs.uwaterloo.ca/*shai/__;fg!!Dq0X2DkFhyF93HkjWTBQKhk!UeUl2RQsMqlQuiWsEeh52LOlFpiL_5ikfrz8iB5-y8a54ibWPmAhrbMhckm_MlrgRGCU3wdsjTdNxU5AtF5s6P4nTJY0WA0j_c8$" target="_blank" rel="noopener noreferrer" data-auth="NotApplicable" data-safelink="true" data-linkindex="20" class="x_ContentPasted0" data-loopstyle="link" style="font-weight: normal; margin: 0px; text-decoration: underline; color: rgb(0, 124, 137);">Shai
Ben-David</a> (University of Waterloo), <a href="https://urldefense.com/v3/__https://www.levreyzin.com/__;!!Dq0X2DkFhyF93HkjWTBQKhk!UeUl2RQsMqlQuiWsEeh52LOlFpiL_5ikfrz8iB5-y8a54ibWPmAhrbMhckm_MlrgRGCU3wdsjTdNxU5AtF5s6P4nTJY04KQPGSE$" target="_blank" rel="noopener noreferrer" data-auth="NotApplicable" data-safelink="true" data-linkindex="21" class="x_ContentPasted0" data-loopstyle="link" style="font-weight: normal; margin: 0px; text-decoration: underline; color: rgb(0, 124, 137);">Lev
Reyzin</a> (University of Illinois at Chicago), and <a href="https://urldefense.com/v3/__https://mscs.uic.edu/profiles/gyt/__;!!Dq0X2DkFhyF93HkjWTBQKhk!UeUl2RQsMqlQuiWsEeh52LOlFpiL_5ikfrz8iB5-y8a54ibWPmAhrbMhckm_MlrgRGCU3wdsjTdNxU5AtF5s6P4nTJY0O4QF55E$" target="_blank" rel="noopener noreferrer" data-auth="NotApplicable" data-safelink="true" data-linkindex="22" class="x_ContentPasted0" data-loopstyle="link" style="font-weight: normal; margin: 0px; text-decoration: underline; color: rgb(0, 124, 137);">Gyorgy
Turan</a> (University of Illinois at Chicago).</p>
<br class="Apple-interchange-newline">
<div class="elementToProof">
<div id="Signature">
<div>
<div id="divtagdefaultwrapper" dir="ltr" style="color: rgb(0, 0, 0);">
<div id="divtagdefaultwrapper" dir="ltr" style="color: rgb(0, 0, 0);">
<div style="">
<div style="">
<div style="">
<div style="">
<div style="">
<div style="">
<div style="">
<div style="">
<div style="">
<div style="">
<div style="">
<div style="">
<div style="">
<div style="">
<div style="">
<div style="">
<div style="margin: 0px 0in 0.000133333px; line-height: 11pt; background: white;">
<div style="margin:0px">
<div style="margin: 0px;">
<div style="margin: 0px;">
<div style="margin: 0px;">
<div dir="ltr" style="margin: 0px;">
<div dir="ltr" style="margin: 0px;">
<div style="margin: 0px;">
<div style="margin: 0px;">
<div style="margin: 0px;">
<div style="margin: 0px;">
<div style="margin: 0px;">
<div style="margin: 0px;">
<div style="margin: 0px;">
<div style="margin: 0px;">
<div style="margin: 0px;">
<div style="margin: 0px;">
<div style="margin: 0px;">
<div style="margin: 0px;">
<div style="margin: 0px;">
<div style="margin: 0px;">
<div style="margin: 0px;">
<div style="margin:0px"><br>
</div>
</div>
</div>
</div>
</div>
</div>
</div>
</div>
</div>
</div>
</div>
</div>
</div>
</div>
</div>
</div>
</div>
</div>
</div>
</div>
</div>
</div>
<blockquote type="cite" style="color: rgb(32, 31, 30); background-color: rgb(255, 255, 255);">
<div style="margin:0px">
<div style="margin:0px; font-weight:normal">
<div style="margin:0px">
<div style="margin:0px">
<div dir="ltr" style="margin:0px">
<div dir="ltr" style="margin:0px">
<div style="margin:0px">
<div style="margin:0px">
<div style="margin:0px">
<div style="margin:0px">
<div style="margin:0px">
<div style="margin:0px">
<div style="margin:0px">
<div style="margin:0px">
<div style="margin:0px">
<div style="margin:0px">
<div style="margin:0px">
<div style="margin:0px">
<div style="margin:0px">
<div style="margin:0px">
<div style="margin:0px">
<div style="margin:0px"></div>
</div>
</div>
</div>
</div>
</div>
</div>
</div>
</div>
</div>
</div>
</div>
</div>
</div>
</div>
</div>
</div>
</div>
</div>
</div>
</div>
</div>
</blockquote>
<p></p>
</div>
<p style="font-size: 12pt; margin: 0in 0in 0.0001pt; background: white;"><span style="font-size: 9pt; color: black;"><span style="font-family:Arial,Helvetica,sans-serif; font-size:9pt"></span></span></p>
<div style="font-size: 12pt; font-family: Calibri, sans-serif; margin: 0px 0in 0.000133333px; line-height: 11pt; background: white;">
<p style="margin: 6pt 0in 0.0001pt; font-size: 12pt; background: white;"><span style="font-size: 9pt; font-family: Arial, sans-serif; color: black;"><span style="font-size: 8pt; line-height: normal; font-family: Arial, Helvetica, sans-serif; color: rgb(0, 0, 0);"><span style="box-sizing: border-box; font-weight: 300; text-align: start; background-color: rgb(255, 255, 255);"></span></span></span></p>
</div>
<p style="margin:0in 0in 0.0001pt; font-size:12pt; font-family:Calibri,sans-serif; line-height:120%; text-autospace:none">
<span style="font-size:12pt; font-family:Arial,sans-serif"><span style="font-size:9pt; line-height:normal; font-family:Arial,Helvetica,sans-serif"></span></span></p>
<p style="margin: 0px; font: 8px Arial; color: rgb(44, 39, 40);"></p>
<p style="font-size: 12pt; font-family: Calibri, sans-serif; margin: 0in 0in 0.0001pt; line-height: 11pt; background: white;">
<span style="font-size: 8pt; font-family: Arial, sans-serif; color: black;"><span style="font-size:9pt; line-height:normal"></span></span></p>
<div style="">
<p style="text-align: left; margin: 0in 0in 0.0001pt; font-size: 12pt; font-family: Calibri, sans-serif; line-height: 19.2px; background-color: rgb(255, 255, 255);">
<span style="margin:0px; font-family:Arial,sans-serif"><span style="margin:0px; font-size:8pt; line-height:normal; font-family:Arial,Helvetica,sans-serif"></span></span></p>
<p style="font-family:"Times New Roman"; font-size:12pt; margin:0in 0in 0.0001pt">
<span style="font-size: 9pt; font-family: Calibri; color: rgb(0, 0, 0);"></span></p>
<p style="font-family:"Times New Roman",serif; font-size:12pt; margin:0in 0in 0.0001pt">
<span style="font-size:9pt; font-family:"Calibri",sans-serif"></span></p>
<p style="font-family:"Times New Roman",serif; font-size:12pt; margin:0in 0in 0.0001pt">
</p>
<p style="font-family:Tahoma; font-size:13px"></p>
<p style="font-family:"Times New Roman",serif; font-size:12pt; margin:0in 0in 0.0001pt">
<span style="font-size:7.5pt"></span></p>
<p style="font-family:Calibri,sans-serif; font-size:12pt; margin:0in 0in 0.0001pt">
<span style="font-size:7.0pt"></span></p>
<p style="font-family:Tahoma; font-size:13px"></p>
</div>
<span style="font-family:Calibri,sans-serif; font-size:10pt"><a href="https://www.stat.uchicago.edu/"><span style="color: windowtext;"></span></a></span><span style="font-family:Calibri,sans-serif; font-size:10pt"><a href="https://www.stat.uchicago.edu/"><span style="font-family: Calibri, Helvetica, sans-serif; font-size: 10pt; color: windowtext;"></span></a></span>
<p class="MsoAutoSig" style="font-family:Tahoma; font-size:13px; margin-top:0px; margin-bottom:0px">
<span style="font-size:10.0pt"><a href="https://www.stat.uchicago.edu/"><span style="font-family: Calibri, Helvetica, sans-serif; font-size: 10pt; color: windowtext;"></span></a></span></p>
<span style="font-family:Calibri,Helvetica,sans-serif; font-size:13px"></span></div>
</div>
</div>
</div>
</div>
</div>
</div>
</div>
</div>
</div>
</div>
</div>
</div>
</div>
<span style="font-size:13px"><font size="1" face="Tahoma"></font></span></div>
</div>
</div>
</div>
</div>
</div>
</div>
</body>
</html>