| Week | Dates | Days and Topics |
|---|---|---|
| 0 | Sep. 4 - Sep. 5 | Introduction to Logic and the Course |
| 1 | Sep. 8 - Sep. 12 | Predicate Logic |
| 2 | Sep. 15 - Sep. 19 | Predicate Logic |
| 3 | Sep. 22 - Sep. 26 | FOL |
| 4 | Sep. 29 - Oct. 3 | FOL |
| 5 | Oct. 6 - Oct. 10 | Properties of Propositional and First-Order Logic |
| 6 | Oct. 13 - Oct. 15 | Applications |
| 7 | Oct. 20 - Oct. 24 | Research |
| 8 | Oct. 27 - Oct. 31 | Research |
| 9 | Nov. 3 - Nov. 7 | Tutorials |
| 10 | Nov. 10 - Nov. 14 | Automatic Theorem Provers |