CS 15-317: Constructive Logic
(Spring 2012)

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



   (Your comments will be sent anonymously to the instructors)

Logistics

Lectures: Su,Tu   16:00 - 17:20 (room 1199)
Recitations: Th   15:00 - 15:50 (room 1199)

Class Webpage:   http://qatar.cmu.edu/cs/15317


Instructor: Iliano Cervesato
Office hours:  by appointment (check schedule)
Office:  CMU-Q 1008
Email: 
Assistant: Jorge Luis Sacchini
Office hours:  by appointment
Office:  CMU-Q 1017
Email: 

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


© 2012 Iliano Cervesato