Schedule

Schedule beyond next week is subject to change!

Mon Sep 25
Symbolic Execution Demo
Wed Sep 27
How SAT/SMT Solvers Work
BlinkFill
Fri Sep 29
Constraint-based Search
Sun Oct 1
Project Proposal Due
Mon Oct 16
Fall Break
Wed Oct 18
Synthesis with Refinement Types
Synquid
Fri Oct 20
Paper Discussion
Mon Nov 13
Synthesis as Reinforcement Learning
Wed Nov 15
Neurosymbolic Synthesis - I
Fri Nov 17
Neurosymbolic Synthesis - II
Mon Nov 20
TBD
Wed Nov 22
Thanksgiving
Fri Nov 24
Thanksgiving
Mon Nov 27
Project Presentations
Wed Nov 29
Project Presentations
Fri Dec 1
Project Presentations
Mon Dec 4
Project Presentations
Wed Dec 6
Project Presentations
Fri Dec 8
Project Report Due