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 aim to bring together students and researchers from different backgrounds who are interested in learning about the state of the art, applications and open problems in the field.

The summer school will include lectures and hands-on tutorials from leading researchers in the area. It will take place on July 11-13 at the California Institute of Technology in Pasadena, California USA. Apply here to attend the summer school; the application deadline is May 13. Participation in the summer school will be free of charge for accepted participants, but participants will be expected to cover their travel and lodging costs. Limited funds for travel grants are available with priority given to graduate students.

All summer school participants will be 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
9:15 to 10:00 Keynote 1: Jacob Andreas (MIT) (info)
10:00 to 10:45 Break
10:45 to 12:00 Tutorial 1a: Yisong Yue (Caltech)/ Swarat Chaudhuri (UT Austin) / Jennifer Sun (Caltech) (info)
12:00 to 13:00 Lunch
13:00 to 14:00 Talk: Guy Van Den Broeck (UCLA) (info)
14:00 to 14:30 Break
14:30 to 15:30 Tutorial 2a: Nadia Polikarpova (UCSD)/Shachar Itzhaky (Technion): Program Synthesis (info)
15:30 to 15:45 Break
15:45 to 16:45 Talk: Osbert Bastani (UPenn)
16:45 to 18:00 Work time