[Theory] REMINDER: Apr 14 IDEAL Workshop on Machine Learning, Interpretability, and Logic (at TTIC)

Mary Marre mmarre at ttic.edu
Thu Apr 13 17:58:31 CDT 2023


IDEAL Workshop on Machine Learning, Interpretability, and Logic

Mon-Fri. Apr 10-14, 2023, In Person at Various Institutions, Chicago
Dear Colleagues,

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 workshop webpage
<https://urldefense.com/v3/__https://northwestern.us20.list-manage.com/track/click?u=3fc8e0df393510ea0a5b018e1&id=b8228fb578&e=fbc9f51333__;!!Dq0X2DkFhyF93HkjWTBQKhk!ReooRGySkq4UWRz-Tnu05A_jbQtd2UzcELl5XyG25MZBYTQcCPA25G4Pbffwexn2tpF0VYlZ91UGCABPGE7zDegFoVDymPNWRo65$>
.


*Synopsis*

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.

This workshop will be in-person, please forward this announcement to anyone
who might be interested.

*Logistics*

   - *Dates: *Mon-Fri, April 10-14
   - *In-person Location:*

Monday 4/10: University of Illinois Chicago

Tuesday 4/11: University of Chicago

Wednesday 4/12: Illinois Institute of Technology

Thursday 4/13: Northwestern University

Friday 4/14: Toyota Technological Institute at Chicago


   - *Registration: *Click here to register
   <https://urldefense.com/v3/__https://northwestern.us20.list-manage.com/track/click?u=3fc8e0df393510ea0a5b018e1&id=ff756f2066&e=fbc9f51333__;!!Dq0X2DkFhyF93HkjWTBQKhk!ReooRGySkq4UWRz-Tnu05A_jbQtd2UzcELl5XyG25MZBYTQcCPA25G4Pbffwexn2tpF0VYlZ91UGCABPGE7zDegFoVDymKzXiudP$>


*Speakers*

Gilles Audemard
<https://urldefense.com/v3/__https://northwestern.us20.list-manage.com/track/click?u=3fc8e0df393510ea0a5b018e1&id=02f47581f5&e=fbc9f51333__;!!Dq0X2DkFhyF93HkjWTBQKhk!ReooRGySkq4UWRz-Tnu05A_jbQtd2UzcELl5XyG25MZBYTQcCPA25G4Pbffwexn2tpF0VYlZ91UGCABPGE7zDegFoVDymKRDBrIe$>
(Artois
University), Shai Ben-David
<https://urldefense.com/v3/__https://northwestern.us20.list-manage.com/track/click?u=3fc8e0df393510ea0a5b018e1&id=7972a01cff&e=fbc9f51333__;!!Dq0X2DkFhyF93HkjWTBQKhk!ReooRGySkq4UWRz-Tnu05A_jbQtd2UzcELl5XyG25MZBYTQcCPA25G4Pbffwexn2tpF0VYlZ91UGCABPGE7zDegFoVDymEJ8HS-0$>
(University
of Waterloo), Sebastian Bordt
<https://urldefense.com/v3/__https://northwestern.us20.list-manage.com/track/click?u=3fc8e0df393510ea0a5b018e1&id=09eddba085&e=fbc9f51333__;!!Dq0X2DkFhyF93HkjWTBQKhk!ReooRGySkq4UWRz-Tnu05A_jbQtd2UzcELl5XyG25MZBYTQcCPA25G4Pbffwexn2tpF0VYlZ91UGCABPGE7zDegFoVDymM3JnQIb$>
(University
of Tübingen), Simina Brânzei
<https://urldefense.com/v3/__https://northwestern.us20.list-manage.com/track/click?u=3fc8e0df393510ea0a5b018e1&id=b246c8bfbc&e=fbc9f51333__;!!Dq0X2DkFhyF93HkjWTBQKhk!ReooRGySkq4UWRz-Tnu05A_jbQtd2UzcELl5XyG25MZBYTQcCPA25G4Pbffwexn2tpF0VYlZ91UGCABPGE7zDegFoVDymNl1XgZr$>
(Purdue
University), Guy Van den Broeck
<https://urldefense.com/v3/__https://northwestern.us20.list-manage.com/track/click?u=3fc8e0df393510ea0a5b018e1&id=e7d1cae7d7&e=fbc9f51333__;!!Dq0X2DkFhyF93HkjWTBQKhk!ReooRGySkq4UWRz-Tnu05A_jbQtd2UzcELl5XyG25MZBYTQcCPA25G4Pbffwexn2tpF0VYlZ91UGCABPGE7zDegFoVDymLGew5qA$>
(University
of California, Los Angeles), Rich Caruana
<https://urldefense.com/v3/__https://northwestern.us20.list-manage.com/track/click?u=3fc8e0df393510ea0a5b018e1&id=66a9f4fc97&e=fbc9f51333__;!!Dq0X2DkFhyF93HkjWTBQKhk!ReooRGySkq4UWRz-Tnu05A_jbQtd2UzcELl5XyG25MZBYTQcCPA25G4Pbffwexn2tpF0VYlZ91UGCABPGE7zDegFoVDymBNkKdCf$>
(Microsoft
Research), Zachary Lipton
<https://urldefense.com/v3/__https://northwestern.us20.list-manage.com/track/click?u=3fc8e0df393510ea0a5b018e1&id=ca0b79d9cf&e=fbc9f51333__;!!Dq0X2DkFhyF93HkjWTBQKhk!ReooRGySkq4UWRz-Tnu05A_jbQtd2UzcELl5XyG25MZBYTQcCPA25G4Pbffwexn2tpF0VYlZ91UGCABPGE7zDegFoVDymO506uV4$>
(Carnegie
Mellon University), Gyorgy Turan
<https://urldefense.com/v3/__https://northwestern.us20.list-manage.com/track/click?u=3fc8e0df393510ea0a5b018e1&id=247261c5b2&e=fbc9f51333__;!!Dq0X2DkFhyF93HkjWTBQKhk!ReooRGySkq4UWRz-Tnu05A_jbQtd2UzcELl5XyG25MZBYTQcCPA25G4Pbffwexn2tpF0VYlZ91UGCABPGE7zDegFoVDymD8LtLF6$>
(University
of Illinois at Chicago)


*Student Presenters*

Gregoire Fournier
<https://urldefense.com/v3/__https://northwestern.us20.list-manage.com/track/click?u=3fc8e0df393510ea0a5b018e1&id=1d6e728b37&e=fbc9f51333__;!!Dq0X2DkFhyF93HkjWTBQKhk!ReooRGySkq4UWRz-Tnu05A_jbQtd2UzcELl5XyG25MZBYTQcCPA25G4Pbffwexn2tpF0VYlZ91UGCABPGE7zDegFoVDymCLFCJ0O$>
(University
of Illinois at Chicago), Anmol Kabra
<https://urldefense.com/v3/__https://northwestern.us20.list-manage.com/track/click?u=3fc8e0df393510ea0a5b018e1&id=00f770235b&e=fbc9f51333__;!!Dq0X2DkFhyF93HkjWTBQKhk!ReooRGySkq4UWRz-Tnu05A_jbQtd2UzcELl5XyG25MZBYTQcCPA25G4Pbffwexn2tpF0VYlZ91UGCABPGE7zDegFoVDymBB2teVi$>
(Toyota
Technological Institute at Chicago), Omid Halimi Milani
<https://urldefense.com/v3/__https://northwestern.us20.list-manage.com/track/click?u=3fc8e0df393510ea0a5b018e1&id=a21d5327ae&e=fbc9f51333__;!!Dq0X2DkFhyF93HkjWTBQKhk!ReooRGySkq4UWRz-Tnu05A_jbQtd2UzcELl5XyG25MZBYTQcCPA25G4Pbffwexn2tpF0VYlZ91UGCABPGE7zDegFoVDymKoIyjMs$>
(University
of Illinois at Chicago), Kavya Ravichandran
<https://urldefense.com/v3/__https://northwestern.us20.list-manage.com/track/click?u=3fc8e0df393510ea0a5b018e1&id=027fcebc4e&e=fbc9f51333__;!!Dq0X2DkFhyF93HkjWTBQKhk!ReooRGySkq4UWRz-Tnu05A_jbQtd2UzcELl5XyG25MZBYTQcCPA25G4Pbffwexn2tpF0VYlZ91UGCABPGE7zDegFoVDymLIZ9_09$>
(Toyota
Technological Institute at Chicago), Liren Shan
<https://urldefense.com/v3/__https://northwestern.us20.list-manage.com/track/click?u=3fc8e0df393510ea0a5b018e1&id=54a0c02d56&e=fbc9f51333__;!!Dq0X2DkFhyF93HkjWTBQKhk!ReooRGySkq4UWRz-Tnu05A_jbQtd2UzcELl5XyG25MZBYTQcCPA25G4Pbffwexn2tpF0VYlZ91UGCABPGE7zDegFoVDymEBblmOC$>
(Northwestern
University), Yuzhang Shang
<https://urldefense.com/v3/__https://northwestern.us20.list-manage.com/track/click?u=3fc8e0df393510ea0a5b018e1&id=ba80675583&e=fbc9f51333__;!!Dq0X2DkFhyF93HkjWTBQKhk!ReooRGySkq4UWRz-Tnu05A_jbQtd2UzcELl5XyG25MZBYTQcCPA25G4Pbffwexn2tpF0VYlZ91UGCABPGE7zDegFoVDymFdCG4xS$>
(Illinois
Institute of Technology), Han Shao
<https://urldefense.com/v3/__https://northwestern.us20.list-manage.com/track/click?u=3fc8e0df393510ea0a5b018e1&id=41e17bbc70&e=fbc9f51333__;!!Dq0X2DkFhyF93HkjWTBQKhk!ReooRGySkq4UWRz-Tnu05A_jbQtd2UzcELl5XyG25MZBYTQcCPA25G4Pbffwexn2tpF0VYlZ91UGCABPGE7zDegFoVDymKnbWYy8$>
(Toyota
Technological Institute at Chicago), Kevin Stangl
<https://urldefense.com/v3/__https://northwestern.us20.list-manage.com/track/click?u=3fc8e0df393510ea0a5b018e1&id=94fb24f66a&e=fbc9f51333__;!!Dq0X2DkFhyF93HkjWTBQKhk!ReooRGySkq4UWRz-Tnu05A_jbQtd2UzcELl5XyG25MZBYTQcCPA25G4Pbffwexn2tpF0VYlZ91UGCABPGE7zDegFoVDymHe32W4b$>
(Toyota
Technological Institute at Chicago), Ruo Yang (Illinois Institute of
Technology), Kevin Zhou
<https://urldefense.com/v3/__https://northwestern.us20.list-manage.com/track/click?u=3fc8e0df393510ea0a5b018e1&id=fe09a21864&e=fbc9f51333__;!!Dq0X2DkFhyF93HkjWTBQKhk!ReooRGySkq4UWRz-Tnu05A_jbQtd2UzcELl5XyG25MZBYTQcCPA25G4Pbffwexn2tpF0VYlZ91UGCABPGE7zDegFoVDymLsWHpQo$>
(University
of Illinois at Chicago), Xin Zhu (University of Illinois at Chicago)

*Schedule*

All times are in the Central Time Zone (CDT; Chicago time).


*Monday, April 10 (at UIC)*
*Speakers:*
Shai Ben-David (Waterloo)
Simina Branzei (Purdue)

*Student Presenters:*
Gregoire Fournier (UIC)
Xin Zhu (UIC)
10:00 am welcoming remarks / socializing
10:30 am – 11:30 am Shai Ben-David (Waterloo)
11:30 am – 12:00 pm Gregoire Fournier (UIC)
12:00 pm – 1:30 pm lunch
1:30 pm – 2:00 pm Xin Zhu (UIC)
2:00 pm – 3:00pm Simina Branzei (Purdue)
3:00 pm – 4:00 open discussion with students & faculty


*Tuesday, April 11 (at UChicago)*
*Speakers:*
Zachary Lipton (CMU)

*Student Presenters:*
Anmol Kabra (TTIC)
Omid Halimi Milani (UIC)
Kevin Stangl (TTIC)
Kevin Zhou (UIC)
10:00 am welcoming remarks / socializing
10:30 am – 11:30 am Zachary Lipton (CMU)
11:30 am – 12:00 pm Anmol Kabra (TTIC)
12:00 pm – 1:30 pm lunch
1:30 pm – 2:00 pm Kevin Stangl (TTIC)
2:00 pm – 2:30 pm Omid Halimi Milani (UIC)
2:30 pm – 3:00 pm Kevin Zhou (UIC)
3:00 pm – 4:00 open discussion with students & faculty



*Wednesday, April 12 (at IIT)*
*Speakers:*
Gilles Audemard (Artois)
Sebastian Bordt (Tübingen)

*Student Presenters:*
Yuzhang Shang (IIT)
Ruo Yang (IIT)
10:00 am welcoming remarks / socializing
10:30 am – 11:30 am Gilles Audemard (Artois)
11:30 am – 12:00 pm Ruo Yang (IIT)
12:00 pm – 1:30 pm lunch
1:30 pm – 2:00 pm Yuzhang Shang (IIT)
2:00 pm – 3:00pm Sebastian Bordt (Tübingen)
3:00 pm – 4:00 open discussion with students & faculty



*Thursday, April 13 (at Northwestern)*
*Speakers:*
Rich Caruana (MSR)
Guy Van den Broeck (UCLA)

*Student Presenters:*
Anmol Kabra (TTIC)
10:00 am welcoming remarks / socializing
10:30 am – 11:30 am Rich Caruana (MSR)
11:30 am – 12:00 pm Anmol Kabra (TTIC)
12:00 pm – 2:00 pm lunch
2:00 pm – 3:00 pm Guy Van den Broeck (UCLA)
3:00 pm – 4:00 open discussion with students & faculty



*Friday, April 14 (at TTI-C)*
*Speakers:*
Gyorgy Turan (UIC)

*Student Presenters:*
Kavya Ravichandran (TTIC)
Liren Shan (NU)
Han Shao (TTIC)
10:00 am welcoming remarks / socializing
10:30 am – 11:00 am Kavya Ravichandran (TTIC)
11:00 am – 11:30 am Liren Shan (NU)
11:30 am – 1:30 pm lunch
1:30 pm – 2:00 pm Han Shao (TTIC)
2:00 pm – 3:00 pm Gyorgy Turan (UIC)
3:00 pm – 4:00 open discussion with students & faculty

*About the Series*

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 IDEAL Winter/Spring 2023 Special Quarter
on Machine Learning and Logic
<https://urldefense.com/v3/__https://northwestern.us20.list-manage.com/track/click?u=3fc8e0df393510ea0a5b018e1&id=92b9006abf&e=fbc9f51333__;!!Dq0X2DkFhyF93HkjWTBQKhk!ReooRGySkq4UWRz-Tnu05A_jbQtd2UzcELl5XyG25MZBYTQcCPA25G4Pbffwexn2tpF0VYlZ91UGCABPGE7zDegFoVDymOQs8CH7$>
.

This workshop is organized by Shai Ben-David
<https://urldefense.com/v3/__https://northwestern.us20.list-manage.com/track/click?u=3fc8e0df393510ea0a5b018e1&id=b84e9dacdb&e=fbc9f51333__;!!Dq0X2DkFhyF93HkjWTBQKhk!ReooRGySkq4UWRz-Tnu05A_jbQtd2UzcELl5XyG25MZBYTQcCPA25G4Pbffwexn2tpF0VYlZ91UGCABPGE7zDegFoVDymLUqgy69$>
(University
of Waterloo), Lev Reyzin
<https://urldefense.com/v3/__https://northwestern.us20.list-manage.com/track/click?u=3fc8e0df393510ea0a5b018e1&id=1467671b23&e=fbc9f51333__;!!Dq0X2DkFhyF93HkjWTBQKhk!ReooRGySkq4UWRz-Tnu05A_jbQtd2UzcELl5XyG25MZBYTQcCPA25G4Pbffwexn2tpF0VYlZ91UGCABPGE7zDegFoVDymOP7E14p$>
(University
of Illinois at Chicago), and Gyorgy Turan
<https://urldefense.com/v3/__https://northwestern.us20.list-manage.com/track/click?u=3fc8e0df393510ea0a5b018e1&id=22723d3ca3&e=fbc9f51333__;!!Dq0X2DkFhyF93HkjWTBQKhk!ReooRGySkq4UWRz-Tnu05A_jbQtd2UzcELl5XyG25MZBYTQcCPA25G4Pbffwexn2tpF0VYlZ91UGCABPGE7zDegFoVDymGWI377U$>
(University
of Illinois at Chicago).





Mary C. Marre
Faculty Administrative Support
*Toyota Technological Institute*
*6045 S. Kenwood Avenue, Rm 517*
*Chicago, IL  60637*
*773-834-1757*
*mmarre at ttic.edu <mmarre at ttic.edu>*


On Sun, Apr 9, 2023 at 5:30 PM Mary Marre <mmarre at ttic.edu> wrote:

> Upcoming IDEAL Workshop on Machine Learning, Interpretability, and Logic
>
> Mon-Fri. Apr 10-14, 2023, In Person at Various Institutions, Chicago
> Dear Colleagues,
>
> 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 workshop webpage
> <https://urldefense.com/v3/__https://northwestern.us20.list-manage.com/track/click?u=3fc8e0df393510ea0a5b018e1&id=b8228fb578&e=fbc9f51333__;!!Dq0X2DkFhyF93HkjWTBQKhk!ReooRGySkq4UWRz-Tnu05A_jbQtd2UzcELl5XyG25MZBYTQcCPA25G4Pbffwexn2tpF0VYlZ91UGCABPGE7zDegFoVDymPNWRo65$>
> .
>
>
> *Synopsis*
>
> 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.
>
> This workshop will be in-person, please forward this announcement to
> anyone who might be interested.
>
> *Logistics*
>
>    - *Dates: *Mon-Fri, April 10-14
>    - *In-person Location:*
>
> Monday 4/10: University of Illinois Chicago
>
> Tuesday 4/11: University of Chicago
>
> Wednesday 4/12: Illinois Institute of Technology
>
> Thursday 4/13: Northwestern University
>
> Friday 4/14: Toyota Technological Institute at Chicago
>
>
>    - *Registration: *Click here to register
>    <https://urldefense.com/v3/__https://northwestern.us20.list-manage.com/track/click?u=3fc8e0df393510ea0a5b018e1&id=ff756f2066&e=fbc9f51333__;!!Dq0X2DkFhyF93HkjWTBQKhk!ReooRGySkq4UWRz-Tnu05A_jbQtd2UzcELl5XyG25MZBYTQcCPA25G4Pbffwexn2tpF0VYlZ91UGCABPGE7zDegFoVDymKzXiudP$>
>
>
> *Speakers*
>
> Gilles Audemard
> <https://urldefense.com/v3/__https://northwestern.us20.list-manage.com/track/click?u=3fc8e0df393510ea0a5b018e1&id=02f47581f5&e=fbc9f51333__;!!Dq0X2DkFhyF93HkjWTBQKhk!ReooRGySkq4UWRz-Tnu05A_jbQtd2UzcELl5XyG25MZBYTQcCPA25G4Pbffwexn2tpF0VYlZ91UGCABPGE7zDegFoVDymKRDBrIe$> (Artois
> University), Shai Ben-David
> <https://urldefense.com/v3/__https://northwestern.us20.list-manage.com/track/click?u=3fc8e0df393510ea0a5b018e1&id=7972a01cff&e=fbc9f51333__;!!Dq0X2DkFhyF93HkjWTBQKhk!ReooRGySkq4UWRz-Tnu05A_jbQtd2UzcELl5XyG25MZBYTQcCPA25G4Pbffwexn2tpF0VYlZ91UGCABPGE7zDegFoVDymEJ8HS-0$> (University
> of Waterloo), Sebastian Bordt
> <https://urldefense.com/v3/__https://northwestern.us20.list-manage.com/track/click?u=3fc8e0df393510ea0a5b018e1&id=09eddba085&e=fbc9f51333__;!!Dq0X2DkFhyF93HkjWTBQKhk!ReooRGySkq4UWRz-Tnu05A_jbQtd2UzcELl5XyG25MZBYTQcCPA25G4Pbffwexn2tpF0VYlZ91UGCABPGE7zDegFoVDymM3JnQIb$> (University
> of Tübingen), Simina Brânzei
> <https://urldefense.com/v3/__https://northwestern.us20.list-manage.com/track/click?u=3fc8e0df393510ea0a5b018e1&id=b246c8bfbc&e=fbc9f51333__;!!Dq0X2DkFhyF93HkjWTBQKhk!ReooRGySkq4UWRz-Tnu05A_jbQtd2UzcELl5XyG25MZBYTQcCPA25G4Pbffwexn2tpF0VYlZ91UGCABPGE7zDegFoVDymNl1XgZr$> (Purdue
> University), Guy Van den Broeck
> <https://urldefense.com/v3/__https://northwestern.us20.list-manage.com/track/click?u=3fc8e0df393510ea0a5b018e1&id=e7d1cae7d7&e=fbc9f51333__;!!Dq0X2DkFhyF93HkjWTBQKhk!ReooRGySkq4UWRz-Tnu05A_jbQtd2UzcELl5XyG25MZBYTQcCPA25G4Pbffwexn2tpF0VYlZ91UGCABPGE7zDegFoVDymLGew5qA$> (University
> of California, Los Angeles), Rich Caruana
> <https://urldefense.com/v3/__https://northwestern.us20.list-manage.com/track/click?u=3fc8e0df393510ea0a5b018e1&id=66a9f4fc97&e=fbc9f51333__;!!Dq0X2DkFhyF93HkjWTBQKhk!ReooRGySkq4UWRz-Tnu05A_jbQtd2UzcELl5XyG25MZBYTQcCPA25G4Pbffwexn2tpF0VYlZ91UGCABPGE7zDegFoVDymBNkKdCf$> (Microsoft
> Research), Zachary Lipton
> <https://urldefense.com/v3/__https://northwestern.us20.list-manage.com/track/click?u=3fc8e0df393510ea0a5b018e1&id=ca0b79d9cf&e=fbc9f51333__;!!Dq0X2DkFhyF93HkjWTBQKhk!ReooRGySkq4UWRz-Tnu05A_jbQtd2UzcELl5XyG25MZBYTQcCPA25G4Pbffwexn2tpF0VYlZ91UGCABPGE7zDegFoVDymO506uV4$> (Carnegie
> Mellon University), Gyorgy Turan
> <https://urldefense.com/v3/__https://northwestern.us20.list-manage.com/track/click?u=3fc8e0df393510ea0a5b018e1&id=247261c5b2&e=fbc9f51333__;!!Dq0X2DkFhyF93HkjWTBQKhk!ReooRGySkq4UWRz-Tnu05A_jbQtd2UzcELl5XyG25MZBYTQcCPA25G4Pbffwexn2tpF0VYlZ91UGCABPGE7zDegFoVDymD8LtLF6$> (University
> of Illinois at Chicago)
>
>
> *Student Presenters*
>
> Gregoire Fournier
> <https://urldefense.com/v3/__https://northwestern.us20.list-manage.com/track/click?u=3fc8e0df393510ea0a5b018e1&id=1d6e728b37&e=fbc9f51333__;!!Dq0X2DkFhyF93HkjWTBQKhk!ReooRGySkq4UWRz-Tnu05A_jbQtd2UzcELl5XyG25MZBYTQcCPA25G4Pbffwexn2tpF0VYlZ91UGCABPGE7zDegFoVDymCLFCJ0O$> (University
> of Illinois at Chicago), Anmol Kabra
> <https://urldefense.com/v3/__https://northwestern.us20.list-manage.com/track/click?u=3fc8e0df393510ea0a5b018e1&id=00f770235b&e=fbc9f51333__;!!Dq0X2DkFhyF93HkjWTBQKhk!ReooRGySkq4UWRz-Tnu05A_jbQtd2UzcELl5XyG25MZBYTQcCPA25G4Pbffwexn2tpF0VYlZ91UGCABPGE7zDegFoVDymBB2teVi$> (Toyota
> Technological Institute at Chicago), Omid Halimi Milani
> <https://urldefense.com/v3/__https://northwestern.us20.list-manage.com/track/click?u=3fc8e0df393510ea0a5b018e1&id=a21d5327ae&e=fbc9f51333__;!!Dq0X2DkFhyF93HkjWTBQKhk!ReooRGySkq4UWRz-Tnu05A_jbQtd2UzcELl5XyG25MZBYTQcCPA25G4Pbffwexn2tpF0VYlZ91UGCABPGE7zDegFoVDymKoIyjMs$> (University
> of Illinois at Chicago), Kavya Ravichandran
> <https://urldefense.com/v3/__https://northwestern.us20.list-manage.com/track/click?u=3fc8e0df393510ea0a5b018e1&id=027fcebc4e&e=fbc9f51333__;!!Dq0X2DkFhyF93HkjWTBQKhk!ReooRGySkq4UWRz-Tnu05A_jbQtd2UzcELl5XyG25MZBYTQcCPA25G4Pbffwexn2tpF0VYlZ91UGCABPGE7zDegFoVDymLIZ9_09$> (Toyota
> Technological Institute at Chicago), Liren Shan
> <https://urldefense.com/v3/__https://northwestern.us20.list-manage.com/track/click?u=3fc8e0df393510ea0a5b018e1&id=54a0c02d56&e=fbc9f51333__;!!Dq0X2DkFhyF93HkjWTBQKhk!ReooRGySkq4UWRz-Tnu05A_jbQtd2UzcELl5XyG25MZBYTQcCPA25G4Pbffwexn2tpF0VYlZ91UGCABPGE7zDegFoVDymEBblmOC$> (Northwestern
> University), Yuzhang Shang
> <https://urldefense.com/v3/__https://northwestern.us20.list-manage.com/track/click?u=3fc8e0df393510ea0a5b018e1&id=ba80675583&e=fbc9f51333__;!!Dq0X2DkFhyF93HkjWTBQKhk!ReooRGySkq4UWRz-Tnu05A_jbQtd2UzcELl5XyG25MZBYTQcCPA25G4Pbffwexn2tpF0VYlZ91UGCABPGE7zDegFoVDymFdCG4xS$> (Illinois
> Institute of Technology), Han Shao
> <https://urldefense.com/v3/__https://northwestern.us20.list-manage.com/track/click?u=3fc8e0df393510ea0a5b018e1&id=41e17bbc70&e=fbc9f51333__;!!Dq0X2DkFhyF93HkjWTBQKhk!ReooRGySkq4UWRz-Tnu05A_jbQtd2UzcELl5XyG25MZBYTQcCPA25G4Pbffwexn2tpF0VYlZ91UGCABPGE7zDegFoVDymKnbWYy8$> (Toyota
> Technological Institute at Chicago), Kevin Stangl
> <https://urldefense.com/v3/__https://northwestern.us20.list-manage.com/track/click?u=3fc8e0df393510ea0a5b018e1&id=94fb24f66a&e=fbc9f51333__;!!Dq0X2DkFhyF93HkjWTBQKhk!ReooRGySkq4UWRz-Tnu05A_jbQtd2UzcELl5XyG25MZBYTQcCPA25G4Pbffwexn2tpF0VYlZ91UGCABPGE7zDegFoVDymHe32W4b$> (Toyota
> Technological Institute at Chicago), Ruo Yang (Illinois Institute of
> Technology), Kevin Zhou
> <https://urldefense.com/v3/__https://northwestern.us20.list-manage.com/track/click?u=3fc8e0df393510ea0a5b018e1&id=fe09a21864&e=fbc9f51333__;!!Dq0X2DkFhyF93HkjWTBQKhk!ReooRGySkq4UWRz-Tnu05A_jbQtd2UzcELl5XyG25MZBYTQcCPA25G4Pbffwexn2tpF0VYlZ91UGCABPGE7zDegFoVDymLsWHpQo$> (University
> of Illinois at Chicago), Xin Zhu (University of Illinois at Chicago)
>
> *Schedule*
>
> All times are in the Central Time Zone (CDT; Chicago time).
>
>
> *Monday, April 10 (at UIC)*
> *Speakers:*
> Shai Ben-David (Waterloo)
> Simina Branzei (Purdue)
>
> *Student Presenters:*
> Gregoire Fournier (UIC)
> Xin Zhu (UIC)
> 10:00 am welcoming remarks / socializing
> 10:30 am – 11:30 am Shai Ben-David (Waterloo)
> 11:30 am – 12:00 pm Gregoire Fournier (UIC)
> 12:00 pm – 1:30 pm lunch
> 1:30 pm – 2:00 pm Xin Zhu (UIC)
> 2:00 pm – 3:00pm Simina Branzei (Purdue)
> 3:00 pm – 4:00 open discussion with students & faculty
>
>
> *Tuesday, April 11 (at UChicago)*
> *Speakers:*
> Zachary Lipton (CMU)
>
> *Student Presenters:*
> Anmol Kabra (TTIC)
> Omid Halimi Milani (UIC)
> Kevin Stangl (TTIC)
> Kevin Zhou (UIC)
> 10:00 am welcoming remarks / socializing
> 10:30 am – 11:30 am Zachary Lipton (CMU)
> 11:30 am – 12:00 pm Anmol Kabra (TTIC)
> 12:00 pm – 1:30 pm lunch
> 1:30 pm – 2:00 pm Kevin Stangl (TTIC)
> 2:00 pm – 2:30 pm Omid Halimi Milani (UIC)
> 2:30 pm – 3:00 pm Kevin Zhou (UIC)
> 3:00 pm – 4:00 open discussion with students & faculty
>
>
>
> *Wednesday, April 12 (at IIT)*
> *Speakers:*
> Gilles Audemard (Artois)
> Sebastian Bordt (Tübingen)
>
> *Student Presenters:*
> Yuzhang Shang (IIT)
> Ruo Yang (IIT)
> 10:00 am welcoming remarks / socializing
> 10:30 am – 11:30 am Gilles Audemard (Artois)
> 11:30 am – 12:00 pm Ruo Yang (IIT)
> 12:00 pm – 1:30 pm lunch
> 1:30 pm – 2:00 pm Yuzhang Shang (IIT)
> 2:00 pm – 3:00pm Sebastian Bordt (Tübingen)
> 3:00 pm – 4:00 open discussion with students & faculty
>
>
>
> *Thursday, April 13 (at Northwestern)*
> *Speakers:*
> Rich Caruana (MSR)
> Guy Van den Broeck (UCLA)
>
> *Student Presenters:*
> Anmol Kabra (TTIC)
> 10:00 am welcoming remarks / socializing
> 10:30 am – 11:30 am Rich Caruana (MSR)
> 11:30 am – 12:00 pm Anmol Kabra (TTIC)
> 12:00 pm – 2:00 pm lunch
> 2:00 pm – 3:00 pm Guy Van den Broeck (UCLA)
> 3:00 pm – 4:00 open discussion with students & faculty
>
>
>
> *Friday, April 14 (at TTI-C)*
> *Speakers:*
> Gyorgy Turan (UIC)
>
> *Student Presenters:*
> Kavya Ravichandran (TTIC)
> Liren Shan (NU)
> Han Shao (TTIC)
> 10:00 am welcoming remarks / socializing
> 10:30 am – 11:00 am Kavya Ravichandran (TTIC)
> 11:00 am – 11:30 am Liren Shan (NU)
> 11:30 am – 1:30 pm lunch
> 1:30 pm – 2:00 pm Han Shao (TTIC)
> 2:00 pm – 3:00 pm Gyorgy Turan (UIC)
> 3:00 pm – 4:00 open discussion with students & faculty
>
> *About the Series*
>
> 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 IDEAL Winter/Spring 2023 Special
> Quarter on Machine Learning and Logic
> <https://urldefense.com/v3/__https://northwestern.us20.list-manage.com/track/click?u=3fc8e0df393510ea0a5b018e1&id=92b9006abf&e=fbc9f51333__;!!Dq0X2DkFhyF93HkjWTBQKhk!ReooRGySkq4UWRz-Tnu05A_jbQtd2UzcELl5XyG25MZBYTQcCPA25G4Pbffwexn2tpF0VYlZ91UGCABPGE7zDegFoVDymOQs8CH7$>
> .
>
> This workshop is organized by Shai Ben-David
> <https://urldefense.com/v3/__https://northwestern.us20.list-manage.com/track/click?u=3fc8e0df393510ea0a5b018e1&id=b84e9dacdb&e=fbc9f51333__;!!Dq0X2DkFhyF93HkjWTBQKhk!ReooRGySkq4UWRz-Tnu05A_jbQtd2UzcELl5XyG25MZBYTQcCPA25G4Pbffwexn2tpF0VYlZ91UGCABPGE7zDegFoVDymLUqgy69$> (University
> of Waterloo), Lev Reyzin
> <https://urldefense.com/v3/__https://northwestern.us20.list-manage.com/track/click?u=3fc8e0df393510ea0a5b018e1&id=1467671b23&e=fbc9f51333__;!!Dq0X2DkFhyF93HkjWTBQKhk!ReooRGySkq4UWRz-Tnu05A_jbQtd2UzcELl5XyG25MZBYTQcCPA25G4Pbffwexn2tpF0VYlZ91UGCABPGE7zDegFoVDymOP7E14p$> (University
> of Illinois at Chicago), and Gyorgy Turan
> <https://urldefense.com/v3/__https://northwestern.us20.list-manage.com/track/click?u=3fc8e0df393510ea0a5b018e1&id=22723d3ca3&e=fbc9f51333__;!!Dq0X2DkFhyF93HkjWTBQKhk!ReooRGySkq4UWRz-Tnu05A_jbQtd2UzcELl5XyG25MZBYTQcCPA25G4Pbffwexn2tpF0VYlZ91UGCABPGE7zDegFoVDymGWI377U$> (University
> of Illinois at Chicago).
>
>
>
>
>
> Mary C. Marre
> Faculty Administrative Support
> *Toyota Technological Institute*
> *6045 S. Kenwood Avenue, Rm 517*
> *Chicago, IL  60637*
> *773-834-1757*
> *mmarre at ttic.edu <mmarre at ttic.edu>*
>
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://mailman.cs.uchicago.edu/pipermail/theory/attachments/20230413/e3ebac4d/attachment-0001.html>


More information about the Theory mailing list