Understanding the World Through Code

Funded through the NSF Expeditions in Computing Program

Kickoff meeting

The Kickoff meeting will take place virtually on October 5 and 6. The planned schedule for the event is below (all times are in US Eastern time).
Monday October 5
Time Event
1:00-2:00pm Opening talk by Armando Solar-Lezama (recording)
  BREAK
2:10-2:30pm Talk: Swarat Chaudhuri (UT Austin).
Neurosymbolic program synthesis. (recording)
2:30-2:50pm Talk: Osbert Bastani (U. Penn.)
Learning Neurosymbolic Generative Models via Program Synthesis (recording)
2:50-3:10pm Talk: Christopher Burge (MIT)
Challenges in RNA splicing. (recording)
  BREAK
3:20-3:50pm Broken out discussion session
3:50-4:20pm Q&A panel with Swarat Chaudhuri, Osbert Bastani, Christopher Burge and Phillip Sharp.
  BREAK
4:30-5:00pm Parallel session:
  • PIs meeting with NSF PMs
  • Student mixer
  • Guest discussion session
5:00-7:00pm Evening zoom mixer
Tuesday October 6
Time Event
1:00-1:25pm Talk: Wengong Jin (MIT):
Graph neural networks for drug discovery (recording)
1:25-1:50pm Talk: Isil Dillig (UT Austin):
Program Synthesis using Deduction-GuidedReinforcement Learning (recording)
  BREAK
2:00-2:40pm Industry panel: Satish Chandra (Facebook), Justin Gottschlich (Intel), Pushmeet Kohli (Deep Mind), Rishabh Singh (Google Brain)
2:40-3:00pm Talk: Yisong Yue (Caltech)
Reliable Behavior Modeling via Programmatic Weak Supervision. (recording)
3:00-3:20pm Michael Carbin (MIT)
Optimizing CPU Simulator Parameters with Learned Differentiable Approximations (recording)
3:20-3:40pm Swarat Chaudhuri substituting for Josh Tenenbaum
Neurosymbolic program learning for cognitive science. (recording)
  BREAK
3:50-4:20pm Broken out discussion session
4:20-4:50pm Q&A panel with Yisong Yue, Michael Carbin, Josh Tenenbaum, Noah Goodman
4:50-5:00pm Concluding remarks