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:
|
| 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 |