Workshop Schedule

The workshop will be held in Honolulu, HI, United States, co-located with ICML 2023.

Workshop date: Friday, July 28, 2023, full-day (9:00 am HST - 5:00 pm HST).

Time zone: Hawaii Standard Time (UTC -10)

Location: Hawaii Convention Center, Room 312

Morning Session 1:

9:00 am - 9:10 am: Opening Remarks by Prof. Zico Kolter (CMU)

9:10 am - 9:40 am: Invited Talk 1: Prof. Marta Kwiatkowska (Oxford)

9:40 am - 10:10 am: Invited Talk 2: Prof. Gagandeep Singh (UIUC)

10:10 am - 10:30 am: Break

Morning Session 2:

10:30 am - 11:00 am: Invited Talk 3: Prof. Sam Coogan (GA Tech)

11:00 am - 11:15 am: Contributed Talk 1: Debangshu Banerjee (UIUC)

11:15 am - 11:30 am: Contributed Talk 2: Francisco Eiras (Oxford)

11:30 am - 12:00 pm: Morning Poster Session

12:00 pm - 1:30 pm: Lunch Break

Afternoon Session 1:

1:30 pm - 2:00 pm: Invited Talk 4: Prof. Chuchu Fan (MIT)

2:00 pm - 2:30 pm: Invited Talk 5: Prof. Aws Albarghouthi and Yuhao Zhang (UW-Madison)

2:30 pm - 2:45 pm: Contributed Talk 3: Steven Adams (TU Delft)

2:45 pm - 3:00 pm: Contributed Talk 4: Daniel C.H. Tan (UCL)

3:00 pm - 3:20 pm: Break

Afternoon Session 2:

3:20 pm - 3:50 pm: Afternoon Poster Session

3:50 pm - 4:20 pm: Invited Talk 6: Prof. Armando Solar-Lezama (MIT)

Panel: 

4:20 pm - 4:50 pm: Panel 

4:50 pm - 5:00 pm: Closing Remarks