Functional Programming and Interactive Theorem Proving

Instructor: Michael Winter, Office J323, Office Hours: Mon & Wed, 10:00am - noon, email:

Course Overview
Course Outline
Course Procedure
  • Mon & Wed, 8:00am-9:30am, Fall 2016
  • Room: MCJ404 (Mon) / TH306 or MCD205 (Wed)
Important Dates
Course Material

Term Test 1 (60 min): October 19, 2016 (lab test)

Term Test 2 (60 min): November 23, 2016 (lab test)

Final exam (90 min): Wednesday, December 07, 2016 (lab test), time 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, 2016