[Colloquium] Mon-Fri, April 10-14, 2023: IDEAL Workshop on Machine Learning, Interpretability, and Logic

Mon Apr 10 12:07:20 CDT 2023

Upcoming IDEAL Workshop on Machine Learning, Interpretability, and Logic

Mon-Fri. Apr 10-14, 2023, In Person at Various Institutions, Chicago
Tuesday, April 11th at University of 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://www.ideal-institute.org/2023/03/09/workshop-on-machine-learning-interpretability-and-logic/__;!!Dq0X2DkFhyF93HkjWTBQKhk!UeUl2RQsMqlQuiWsEeh52LOlFpiL_5ikfrz8iB5-y8a54ibWPmAhrbMhckm_MlrgRGCU3wdsjTdNxU5AtF5s6P4nTJY0-51aMHU$>.

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
Ft. Deerborn, Student Center East, 750 S. Halsted Chicago

Tuesday 4/11: University of Chicago
Jones laboratory 303, 5747 S. Ellis Avenue

Wednesday 4/12: Illinois Institute of Technology:
John T. Retaliate Engineering Center, 130, the Mies Campus

Thursday 4/13: Northwestern University
Mudd 3514, 2233 Tech Drive, Evanston

Friday 4/14: Toyota Technological Institute at Chicago
6045 S. Kenwood Avenue, room 530

  *   Registration: Click here to register<https://urldefense.com/v3/__https://docs.google.com/forms/d/e/1FAIpQLSf-3T-91BZ82Tard1YsaMh5JPnlk9YNYkprcBimzLnSxlxGkg/viewform__;!!Dq0X2DkFhyF93HkjWTBQKhk!UeUl2RQsMqlQuiWsEeh52LOlFpiL_5ikfrz8iB5-y8a54ibWPmAhrbMhckm_MlrgRGCU3wdsjTdNxU5AtF5s6P4nTJY03GrJgfY$>

Speakers

Gilles Audemard<https://urldefense.com/v3/__http://www.cril.univ-artois.fr/*audemard/__;fg!!Dq0X2DkFhyF93HkjWTBQKhk!UeUl2RQsMqlQuiWsEeh52LOlFpiL_5ikfrz8iB5-y8a54ibWPmAhrbMhckm_MlrgRGCU3wdsjTdNxU5AtF5s6P4nTJY0uJbQMBQ$> (Artois University), Shai Ben-David<https://urldefense.com/v3/__https://cs.uwaterloo.ca/*shai/__;fg!!Dq0X2DkFhyF93HkjWTBQKhk!UeUl2RQsMqlQuiWsEeh52LOlFpiL_5ikfrz8iB5-y8a54ibWPmAhrbMhckm_MlrgRGCU3wdsjTdNxU5AtF5s6P4nTJY0WA0j_c8$> (University of Waterloo), Sebastian Bordt<https://urldefense.com/v3/__https://www.tml.cs.uni-tuebingen.de/team/bordt/index.php__;!!Dq0X2DkFhyF93HkjWTBQKhk!UeUl2RQsMqlQuiWsEeh52LOlFpiL_5ikfrz8iB5-y8a54ibWPmAhrbMhckm_MlrgRGCU3wdsjTdNxU5AtF5s6P4nTJY07SwX8bk$> (University of Tübingen), Simina Brânzei<https://urldefense.com/v3/__https://simina.info/__;!!Dq0X2DkFhyF93HkjWTBQKhk!UeUl2RQsMqlQuiWsEeh52LOlFpiL_5ikfrz8iB5-y8a54ibWPmAhrbMhckm_MlrgRGCU3wdsjTdNxU5AtF5s6P4nTJY0YPwv1qA$> (Purdue University), Guy Van den Broeck<https://urldefense.com/v3/__http://web.cs.ucla.edu/*guyvdb/__;fg!!Dq0X2DkFhyF93HkjWTBQKhk!UeUl2RQsMqlQuiWsEeh52LOlFpiL_5ikfrz8iB5-y8a54ibWPmAhrbMhckm_MlrgRGCU3wdsjTdNxU5AtF5s6P4nTJY00GfDE0k$> (University of California, Los Angeles), Rich Caruana<https://urldefense.com/v3/__https://www.microsoft.com/en-us/research/people/rcaruana/__;!!Dq0X2DkFhyF93HkjWTBQKhk!UeUl2RQsMqlQuiWsEeh52LOlFpiL_5ikfrz8iB5-y8a54ibWPmAhrbMhckm_MlrgRGCU3wdsjTdNxU5AtF5s6P4nTJY0BjpYqtk$> (Microsoft Research), Zachary Lipton<https://urldefense.com/v3/__https://www.zacharylipton.com/__;!!Dq0X2DkFhyF93HkjWTBQKhk!UeUl2RQsMqlQuiWsEeh52LOlFpiL_5ikfrz8iB5-y8a54ibWPmAhrbMhckm_MlrgRGCU3wdsjTdNxU5AtF5s6P4nTJY0ECHJi-c$> (Carnegie Mellon University), Gyorgy Turan<https://urldefense.com/v3/__http://homepages.math.uic.edu/*gyt/__;fg!!Dq0X2DkFhyF93HkjWTBQKhk!UeUl2RQsMqlQuiWsEeh52LOlFpiL_5ikfrz8iB5-y8a54ibWPmAhrbMhckm_MlrgRGCU3wdsjTdNxU5AtF5s6P4nTJY0foE4SSo$> (University of Illinois at Chicago)

Student Presenters

Gregoire Fournier<https://urldefense.com/v3/__https://mscs.uic.edu/profiles/gfourn2/__;!!Dq0X2DkFhyF93HkjWTBQKhk!UeUl2RQsMqlQuiWsEeh52LOlFpiL_5ikfrz8iB5-y8a54ibWPmAhrbMhckm_MlrgRGCU3wdsjTdNxU5AtF5s6P4nTJY0ahBx_Jk$> (University of Illinois at Chicago), Anmol Kabra<https://urldefense.com/v3/__https://anmolkabra.com/__;!!Dq0X2DkFhyF93HkjWTBQKhk!UeUl2RQsMqlQuiWsEeh52LOlFpiL_5ikfrz8iB5-y8a54ibWPmAhrbMhckm_MlrgRGCU3wdsjTdNxU5AtF5s6P4nTJY09lXfgtI$> (Toyota Technological Institute at Chicago), Omid Halimi Milani<https://urldefense.com/v3/__https://scholar.google.com/citations?user=8e07fdcAAAAJ&hl=en__;!!Dq0X2DkFhyF93HkjWTBQKhk!UeUl2RQsMqlQuiWsEeh52LOlFpiL_5ikfrz8iB5-y8a54ibWPmAhrbMhckm_MlrgRGCU3wdsjTdNxU5AtF5s6P4nTJY0HjaNQ6k$> (University of Illinois at Chicago), Kavya Ravichandran<https://urldefense.com/v3/__https://kavyar314.github.io/__;!!Dq0X2DkFhyF93HkjWTBQKhk!UeUl2RQsMqlQuiWsEeh52LOlFpiL_5ikfrz8iB5-y8a54ibWPmAhrbMhckm_MlrgRGCU3wdsjTdNxU5AtF5s6P4nTJY0BAEM7TM$> (Toyota Technological Institute at Chicago), Liren Shan<https://urldefense.com/v3/__https://sites.northwestern.edu/liren/__;!!BpyFHLRN4TMTrA!9PH_MbqSwLhMNG-hkX5-tOT007X7zPYnuXUn_h76AA8zGMLXrYTK9Q1JbCnTBDm8knwtDaX9O1C0Oe8HC1OBKqb2DLMHuAA$> (Northwestern University), Yuzhang Shang<https://urldefense.com/v3/__https://42shawn.github.io/__;!!Dq0X2DkFhyF93HkjWTBQKhk!UeUl2RQsMqlQuiWsEeh52LOlFpiL_5ikfrz8iB5-y8a54ibWPmAhrbMhckm_MlrgRGCU3wdsjTdNxU5AtF5s6P4nTJY0BFpkxdc$> (Illinois Institute of Technology), Han Shao<https://urldefense.com/v3/__https://sites.google.com/view/hanshao?pli=1__;!!Dq0X2DkFhyF93HkjWTBQKhk!UeUl2RQsMqlQuiWsEeh52LOlFpiL_5ikfrz8iB5-y8a54ibWPmAhrbMhckm_MlrgRGCU3wdsjTdNxU5AtF5s6P4nTJY0cgjPA7k$> (Toyota Technological Institute at Chicago), Kevin Stangl<https://urldefense.com/v3/__https://home.ttic.edu/*kstangl/__;fg!!Dq0X2DkFhyF93HkjWTBQKhk!UeUl2RQsMqlQuiWsEeh52LOlFpiL_5ikfrz8iB5-y8a54ibWPmAhrbMhckm_MlrgRGCU3wdsjTdNxU5AtF5s6P4nTJY0Hje9RH4$> (Toyota Technological Institute at Chicago), Ruo Yang (Illinois Institute of Technology), Kevin Zhou<https://urldefense.com/v3/__http://homepages.math.uic.edu/*kzhou23/__;fg!!Dq0X2DkFhyF93HkjWTBQKhk!UeUl2RQsMqlQuiWsEeh52LOlFpiL_5ikfrz8iB5-y8a54ibWPmAhrbMhckm_MlrgRGCU3wdsjTdNxU5AtF5s6P4nTJY01L-Cz2o$> (University of Illinois at Chicago)

Schedule

All times are in the Central Time Zone (CDT; Chicago time).
Tuesday, April 11th:

  *   10:00 am welcoming remarks / socializing
  *   10:30 am – 11:30 am Zachary Lipton (CMU)
  *   11:30 am – 12:00 pm Kevin Stangl (TTIC) Sequential Strategic Screening
  *   12:00 pm – 2:00 pm lunch
  *   2:00 pm – 2:30 pm Omid Halimi Milani (UIC) Predicting Incident Hypertension in Obstructive Sleep Apnea Using Machine Learning
  *   2:30 pm – 3:00 pm Kevin Zhou (UIC) Query learning of automata
  *   3:00 pm – 4:00 open discussion with students & faculty

Schedule for the week:

Monday, April 10 (at UIC)

Speakers:
Shai Ben-David (Waterloo)
Simina Branzei (Purdue)

Student Presenters:
Gregoire Fournier (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 – 2:00 pm lunch
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)
Lee Cohen (TTIC)

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 – 12:00 pm Han Shao (TTIC)
12:00 pm – 12:30 pm Lunch
12:30 pm – 1:30 pm Lee Cohen (TTIC)
1:30 pm – 2:00 pm break
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://www.ideal-institute.org/2023/01/24/winter-spring-2023-special-program/__;!!Dq0X2DkFhyF93HkjWTBQKhk!UeUl2RQsMqlQuiWsEeh52LOlFpiL_5ikfrz8iB5-y8a54ibWPmAhrbMhckm_MlrgRGCU3wdsjTdNxU5AtF5s6P4nTJY09IOkWi4$>.

This workshop is organized by Shai Ben-David<https://urldefense.com/v3/__https://cs.uwaterloo.ca/*shai/__;fg!!Dq0X2DkFhyF93HkjWTBQKhk!UeUl2RQsMqlQuiWsEeh52LOlFpiL_5ikfrz8iB5-y8a54ibWPmAhrbMhckm_MlrgRGCU3wdsjTdNxU5AtF5s6P4nTJY0WA0j_c8$> (University of Waterloo), Lev Reyzin<https://urldefense.com/v3/__https://www.levreyzin.com/__;!!Dq0X2DkFhyF93HkjWTBQKhk!UeUl2RQsMqlQuiWsEeh52LOlFpiL_5ikfrz8iB5-y8a54ibWPmAhrbMhckm_MlrgRGCU3wdsjTdNxU5AtF5s6P4nTJY04KQPGSE$> (University of Illinois at Chicago), and Gyorgy Turan<https://urldefense.com/v3/__https://mscs.uic.edu/profiles/gyt/__;!!Dq0X2DkFhyF93HkjWTBQKhk!UeUl2RQsMqlQuiWsEeh52LOlFpiL_5ikfrz8iB5-y8a54ibWPmAhrbMhckm_MlrgRGCU3wdsjTdNxU5AtF5s6P4nTJY0O4QF55E$> (University of Illinois at Chicago).

<https://www.stat.uchicago.edu/><https://www.stat.uchicago.edu/>

<https://www.stat.uchicago.edu/>
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://mailman.cs.uchicago.edu/pipermail/colloquium/attachments/20230410/207777d2/attachment-0001.html>