CS 15-317: Constructive Logic
(Spring 2014)

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



(Your comments will be sent anonymously to the instructors)

Logistics

Lectures:Mo,We16:30 - 17:50(2052)
Recitations: Th14:30 - 15:20(2052)
Class Webpage: http://qatar.cmu.edu/cs/15317

Instructors:
Office hours:
Office:
Email:
        Iliano Cervesato
by appointment
CMU-Q 1008
         Jorge Luis Sacchini
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

2014 Iliano Cervesato