CS 15-312: Foundations of Programming Languages
(Spring 2009)

Course Information

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

Logistics

Lectures:  Mo,We   14:30 - 15:50 (room 2051)
Recitations:  Th 9:30 - 10:20 (room 2147)

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

Instructor: Iliano Cervesato
Office hours:  by appointment (check schedule)
Office:  CMU-Q 1008
Email: 
Co-instructor: Thierry Sans
Office hours:  by appointment
Office:  CMU-Q 1019
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

Hw1 Hw2 Hw3 Hw4 Midterm Hw5 Hw6 Hw7 Hw8 Final
Posted 14 Jan 21 Jan 28 Jan 04 Feb 04 Mar 18 Feb 25 Feb 02 Apr 15 Apr 27 Apr (10am)
1030
Due 21 Jan 28 Jan 04 Feb 18 Feb 04 Mar 18 Mar 15 Apr 23 Apr
Corrected 28 Jan 04 Feb 11 Feb 25 Feb 09 Mar 09 Mar 02 Apr 22 Apr 30 Apr 04 May


Iliano Cervesato