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: 3:00pm to 4:00pm Wednesday, Thursday, Friday

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!