Week 1
Week 2
Thursday: Gradual Verification
Week 3
Week 4
Tuesday: Introduction to Type Theory
Week 5
Tuesday: Introduction to Homotopy Type Theory
Thursday: NEPLS
Week 6
Tuesday: Introduction to Natural Language Semantics
Thursday: Programming Languages and Natural Language Semantics
Week 7
Thursday: Homotopical Patch Theory
Week 8
Tuesday: Neural Network Verification
Week 9
Thursday: Project Brainstorming
Week 10
Tuesday: Project Brainstorming
Thursday: Deriving Compilers
Week 11
Tuesday: Program Synthesis (Collective)
Thursday: Will Byrd (Guest)
Week 12
Tuesday: Stephanie Balzer (Guest)
Thursday: Michael Ballantyne (Guest)
Week 13
Tuesday: Program Synthesis, Continued and Project Discussions
Thursday: Thanksgiving
Week 14
Tuesday: Final Project Progress Reports
Thursday: Final Project Progress Reports
Thursday, December 15: Final Project Reports Due