| Day | # | Lecture Topic | Deadline | Readings |
|---|---|---|---|---|
| W 7 Jan | 1 | Course Introduction | ||
| M 12 Jan | 2 | Syntax | ||
| W 14 Jan | 3 | Semantics | ||
| M 19 Jan | No class - MLK Day Holiday | |||
| W 21 Jan | 4 | Types | ||
| M 26 Jan | 5 | Inductive Reasoning | A1 Released | |
| W 28 Jan | 6 | Sums and Recursion, Formally | ||
| M 2 Feb | 7 | Constructive Logic | ||
| W 4 Feb | 8 | Propositions as Types, Universal Types | ||
| Th 5 Feb | A1 Due | |||
| F 6 Feb | A2 Released | |||
| M 9 Feb | 9 | Existential Types, Higher Kinds | ||
| W 11 Feb | 10 | Dependent Types I | ||
| M 16 Feb | 11 | Dependent Types II | A2 Due | |
| W 18 Feb | 12 | Dependent Types III | A3 Released | |
| M 23 Feb | 13 | Metatheory | ||
| W 25 Feb | 14 | Imperative Programming | **A3 Due | |
| A4 Released | ||||
| Project Guide Released** | ||||
| Sa 28 Feb - Su 8 Mar | No class - Spring Break | |||
| M 9 Mar | 15 | Imperative Program Analysis | A4 Due | |
| W 11 Mar | 16 | Exam | ||
| M 16 Mar | 17 | Ownership and Borrowing in Rust | A5 Released | |
| W 18 Mar | 18 | Parallelism and Cost Semantics | Project Proposals Due | |
| M 23 Mar | 19 | No class - read papers! | A5 Due | |
| W 25 Mar | 20 | No class - read papers! | ||
| M 30 Mar | 21 | Student Presentations (TBD) | Annotated Bibliography Drafts (for presentations scheduled on or after 6 Apr) Due | |
| W 1 Apr | 22 | Student Presentations (TBD) | ||
| F 3 Apr | Annotated Bibliography Drafts (for first week presentations) Due | |||
| M 6 Apr | 23 | Student Presentations (TBD) | ||
| W 8 Apr | 24 | Student Presentations (TBD) | ||
| M 13 Apr | 25 | Student Presentations (TBD) | ||
| W 15 Apr | 26 | Student Presentations (TBD) | ||
| F 17 Apr | Annotated Bibliography Final Versions Due | |||
| F 30 Apr | Project Reports Due |
Office Hours Queue: https://eecsoh.eecs.umich.edu/queues/39ze3BAI7f0rpDiq1tFzW5GLPqK
Prof. Cyrus Omar (Instructor) — Tuesdays at 6-7pm in 4624 BBB or Virtual
Thomas Porter (GSI) — Thursdays at 11:30am-12:30pm in BBB Atrium (i.e. Tishman Hall) or Virtual