Past editions: Fall ‘18
CS 720: Logical Foundations in Computer Science
Spring 2022
Course information
- Location: (W01-0062) Room 62, 1st floor, Wheatley
- Schedule: 5:30pm to 6:45pm on Monday, Wednesday
Instructor contact
- Email:
Tiago.Cogumbreiro@umb.edu - Office: (M03-0201-16) Room 0201-16, 3rd floor, McCormack
- Office hours: 11:00am to 12:30pm Monday; 2:30pm to 4:00pm Tuesday (in-person)
Class Schedule
Note: Any lecture titles in future dates are considered tentative.
| Date | # | Lecture | Download |
|---|---|---|---|
| ֍ Logical Foundations (click to download) ֍ | |||
| Mo, Jan 24 | 01 | Introduction | |
| We, Jan 26 | 02 | Functional programming | |
| Mo, Jan 31 | 03 | Induction HW1 Basics due! | |
| We, Feb 2 | 04 | Polymorphism | |
| Mo, Feb 7 | — | Lab HW2 Induction, List due! | |
| We, Feb 9 | 05 | Tactics | |
| Mo, Feb 14 | 06 | Tactics | |
| We, Feb 16 | — | Lab | |
| Mo, Feb 21 | (School closure) | ||
| We, Feb 23 | 07 | Logic in Coq HW3 Poly, Tactics due! | |
| Mo, Feb 28 | 08 | Logic in Coq | |
| We, Mar 2 | 09 | Inductive propositions | |
| Mo, Mar 7 | 10 | Proof objects | |
| We, Mar 9 | — | Lab | |
| Mo, Mar 14 | (School closure) | ||
| We, Mar 16 | (School closure) | ||
| Mo, Mar 21 | 11 | Imperative languages HW4 Logic, IndProp due! | |
| We, Mar 23 | 12 | More automation | |
| ֍ Programming Language Foundations (click to download) ֍ | |||
| Mo, Mar 28 | 13 | Program equivalence HW5 Imp due! | |
| We, Mar 30 | — | Lab | |
| Mo, Apr 4 | 14 | Hoare Logic | |
| We, Apr 6 | 15 | Hoare Logic (continued) HW6 Equiv due! | |
| Mo, Apr 11 | 16 | Small-step operational semantics | |
| We, Apr 13 | — | Lab | |
| Mo, Apr 18 | (School closure) | ||
| We, Apr 20 | 17 | Type systems HW7 Hoare and HW8 Smallstep due! | |
| Mo, Apr 25 | 18 | Functional languages | |
| We, Apr 27 | 19 | Properties of the STLC | |
| Mo, May 2 | — | Lab HW9 Types due! | |
| We, May 4 | 20 | How to verify? | |
| Mo, May 9 | 21 | Lab HW10 Stlc, StlcProp due! | |
| Mo, May 11 | 22 | Lab HW11 Proj due! | |