CIS 500: Schedule

Note: this schedule is not set in stone. Please check back now and then.

Monday Tuesday Wednesday Thursday Friday
Sep 6 LABOR DAY FIRST DAY OF CLASS
Class: Intro & Induction
Homework: HW1 (Induction) Out
 
Sep 13 Class: TAPL Ch. 3
 
Class: TAPL Ch 3
 
Sep 20 Class: Core Ocaml
Homework: HW1 Due, HW2 (Ocaml) Out
Class: Core Ocaml   ADD PERIOD ENDS
Sep 27 Class:  TAPL Ch 5
Homework: HW2 Due, HW3 (Ocaml/LC)  Out
Class: TAPL Ch 5
 
Oct 4 Class: TAPL Ch 8
Homework: HW3 Due, HW4 Out (LC/Simple types)
Class:  TAPL Ch 9   
Oct 11 Class: Review
Homework: HW4 Due
Class: Exam I   DROP PERIOD ENDS
Oct 18 Class: TAPL Ch 9
Homework:
HW5 (STLC) Out
  Class: TAPL Ch 11
 
Oct 25 FALL BREAK Class: TAPL Ch 11
Homework: HW5 Due, HW6 (TAPL Ch 11) Out
Nov 1 Class: TAPL Ch 13
Homework: HW6 Due, HW7 (TAPL Ch 13) Out
Class: TAPL Ch 13
Nov 8 Class: TAPL Ch 14
Homework: HW7 Due, HW8 (TAPL Ch 14/15) Out
Class: TAPL Ch 15
Nov 15 Class: TAPL Ch 15/Review
Homework: HW8 Due
Class: Exam II
Nov 22 Class: TAPL Ch 16
Homework: HW9 (TAPL Ch 15/16) Out
Class: TAPL Ch 16 THANKSGIVING BREAK
Nov 29 Class: TAPL Ch 18
 
Class: TAPL Ch 18/19
Homework: HW9 Due, HW10 (TAPL Ch 18/19) Out
   
Dec 6

Class: TAPL Ch 19

LAST DAY OF CLASSES
Class: Review
Homework:
HW10 Due

Dec 13          
Dec 20 FINAL EXAM 
1:30-3:30PM  
DRLB A8