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

Course Information

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

Logistics

Lectures: Mo,We 14:30 - 15:50 (room C008)
Recitations: Tu 14:00 - 14:50 (room C010)

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

Instructor: Iliano Cervesato
Office hours: by appointment
Office: LAS A128
Email:

Co-instructor: Thierry Sans
Office hours: by appointment
Office: LAS behind A128A
Email:

Course Links

Calendar of Classes

Click on a class day to go to that particular lecture or recitation.

January

February

March

April

May

U	M	T	W	R	F	S
		1	2	3	4	5
6	7	8	9	10	11	12
13	14	15	16	17	18	19
20	21	22	23	24	25	26
27	28	29	30	31
0

U	M	T	W	R	F	S
					1	2
3	4	5	6	7	8	9
10	11	12	13	14	15	16
17	18	19	20	21	22	23
24	25	26	27	28	29
0

U	M	T	W	R	F	S
						1
2	3	4	5	6	7	8
9	10	11	12	13	14	15
16	17	18	19	20	21	22
23	24	25	26	27	28	29
30	31

U	M	T	W	R	F	S
		1	2	3	4	5
6	7	8	9	10	11	12
13	14	15	16	17	18	19
20	21	22	23	24	25	26
27	28	29	30
0

U	M	T	W	R	F	S
				1	2	3
4	5	6	7	8	9	10
11	12	13	14	15	16	17
18	19	20	21	22	23	24
25	26	27	28	29	30	31
30	31

Coursework Calendar

	Hw1	Hw2	Hw3	Hw4	Midterm	Hw5	Hw6	Hw7	Hw8	Final
Posted	16 Jan	23 Jan	06 Feb	13 Feb	05 Mar	12 Mar	19 Mar	09 Apr	16 Apr	5 May (9:00) C008
Due	23 Jan	06 Feb	13 Feb	27 Feb	05 Mar	19 Mar	09 Apr	16 Apr	23 Apr	5 May (9:00) C008
Corrected	28 Jan	11 Feb	18 Feb	03 Mar	10 Mar	24 Mar	14 Apr	21 Apr	30 Apr	07 May

Iliano Cervesato