Understanding the World Through Code

Funded through the NSF Expeditions in Computing Program

Summer school on Neurosymbolic Programming July 11-13 2022

Neurosymbolic programming is an exciting new area at the intersection of Program Synthesis and Machine Learning that aims to learn models that incorporate program-like structure. For this first summer school in Neurosymbolic Programming we brought together students and researchers from different backgrounds interested in learning about the state of the art, applications and open problems in the field.

The summer school included lectures and hands-on tutorials from leading researchers in the area. It took place on July 11-13 at the California Institute of Technology in Pasadena, California USA. Participation in the summer school was free of charge for accepted participants, but participants were expected to cover their travel and lodging costs. Limited funds for travel grants were available with priority given to graduate students.

All summer school participants were expected to abide by the Summer School Code of Conduct

Monday July 11 2022 Tuesday July 12 2022 Wednesday July 13 2022
Monday July 11 2022
Time Event
9:00 to 9:15 Day 1 Introductory remarks. [Video]
9:15 to 10:00 Keynote 1: Jacob Andreas (MIT) [Video] [Slides] (info)
10:00 to 10:45 Break
10:45 to 12:00 Tutorial 1a: Yisong Yue (Caltech)/ Swarat Chaudhuri (UT Austin) / Jennifer Sun (Caltech) [Video] [Slides] (info)
12:00 to 13:00 Lunch
13:00 to 14:00 Talk: Guy Van Den Broeck (UCLA) [Slides] (info)
14:00 to 14:30 Break
14:30 to 15:30 Tutorial 2a: Nadia Polikarpova (UCSD)/Shachar Itzhaky (Technion): Program Synthesis [Video] [Slides] (info)
15:30 to 15:45 Break
15:45 to 16:45 Talk: Osbert Bastani (UPenn): Neurosymbolic Algorithms for Trustworthy Machine Learning [Video] [Slides]
16:45 to 18:00 Work time