CS 15-317: Constructive Logic
(Fall 2015)

Course Information  [  Logistics  |  Course Links  |  Calendar of Classes  |  Coursework Calendar  ]

(Your comments will be sent anonymously to the instructors)


Lectures:Su,Tu16:30 - 17:50(1030)
Recitations: Th16:30 - 17:20(1030)
Class Webpage: http://qatar.cmu.edu/cs/15317

Office hours:
       Iliano Cervesato
by appointment
CMU-Q 1008
         Edmund Lam
by appointment
CMU-Q 1017

Course Links

Calendar of Classes

Click on a class day to go to that particular lecture or recitation. Due dates for homeworks are set in bold. The due date of the next homework blinks.

Coursework Calendar

2015 Iliano Cervesato