Functional Programming and Interactive Theorem Proving

Instructor: Michael Winter, Office J323, Office Hours: Mon & Fri, 9:00am - 11:00am, email:

Course Overview
Course Outline
Course Procedure
  • Tue & Thu, 3:30pm-5:00pm, Winter 2018
  • Room: MCD205
Important Dates
Course Material

Term Test 1 (60 min): February 08, 2018 February 13, 2018

Term Test 2 (60 min): March 15, 2018

Final exam (90 min): Tuesday, April 10, 2018, schedule tba

All Computer Science courses are subject to the rules and regulations of the University (as described in the graduate calendar), the Faculty of Mathematics & Sciences and the policies of the Department of Computer Science.

COSC Home Page

© M. Winter, 2018