CS 720: Logical Foundations in Computer Science
Spring 2026
Past editions: Spring ‘24, Spring ‘22, Fall ‘18
Course information
- Location: W01-0062 (Wheatley)
- Schedule: Tuesday/Thursday 12:30PM - 1:45PM
Instructor contact
- Email:
Tiago.Cogumbreiro@umb.edu - Office hours: Tuesday/Thursday 1:45pm-3:15pm (in-person)
- Office location: (M03-0201-16) Room 0201-16, 3rd floor, McCormack
Class Schedule
Note: Any lecture titles in future dates are considered tentative.
| Date | # | Lecture | Download |
|---|---|---|---|
| Tue, Jan 27 | (School closure) | ||
| 🙙 1. Fundamentals 🙚 | |||
| Thu, Jan 29 | 01 | Introduction | |
| Tue, Feb 3 | 02 | Functional programming | |
| 🙙 2. Introduction to Induction 🙚 | |||
| Thu, Feb 5 | 03 | Proofs by Induction | |
| Tue, Feb 10 | — | Lab (no slides) | |
| 🙙 3. Generalized Induction 🙚 | |||
| Thu, Feb 12 | 04 | Polymorphism | |
| Tue, Feb 17 | 05 | Tactics | |
| 🙙 4. Inductive Propositions 🙚 | |||
| Thu, Feb 19 | 06 | Tactics | |
| Tue, Feb 24 | 07 | Defining logic connectives | |
| Thu, Feb 26 | 08 | Defining logic connectives | |
| Tue, Mar 3 | 09 | Inductive propositions | |
| Thu, Mar 5 | 10 | Proof objects | |
| 🙙 5. Big-step Operational Semantics 🙚 | |||
| Tue, Mar 10 | 11 | Imperative languages | |
| Thu, Mar 12 | 12 | More automation | |
| Tue, Mar 17 | (School closure) | ||
| Thu, Mar 19 | (School closure) | ||
| Tue, Mar 24 | — | Presentations (no slides) | |
| 🙙 6. Program Equivalence 🙚 | |||
| Thu, Mar 26 | — | Program equivalence (no slides) | |
| Tue, Mar 31 | — | Lab (no slides) | |
| Thu, Apr 2 | — | Presentations (no slides) | |
| 🙙 7. Hoare Logic 🙚 | |||
| Tue, Apr 7 | — | Hoare Logic (no slides) | |
| Thu, Apr 9 | — | Hoare Logic (continued) (no slides) | |
| Tue, Apr 14 | — | Presentations (no slides) | |
| 🙙 8. Small-step operational semantics 🙚 | |||
| Thu, Apr 16 | — | Small-step operational semantics (no slides) | |
| Tue, Apr 21 | — | Lab (no slides) | |
| Thu, Apr 23 | — | Presentations (no slides) | |
| 🙙 9. Type systems 🙚 | |||
| Tue, Apr 28 | — | Type systems (no slides) | |
| Thu, Apr 30 | — | Lab (no slides) | |
| Tue, May 5 | — | Functional languages (no slides) | |
| Thu, May 7 | — | Properties of the STLC (no slides) | |
| Tue, May 12 | — | How to verify? (no slides) | |