The following schedule is an approximate schedule of topics. Note that the 9/27 meeting will probably be postponed by a couple of days.

9	13	The Goals of the Course How to Design Programs: Structure How to Design Programs: Abstraction and Accumulators	weekly lab topic: Programming to Structure
9	20	Semantics and Interpretation From High School Algebra to Semantics On to Interpretation	weekly lab topic: Programming with Accumulators
9	27	Semantics: Procedures, Blocks (1) Semantics: Procedures, Blocks (2) Interpretation: Procedures, Blocks	weekly lab topic: Programming and Abstraction
10	4	Semantics: State Interpretation: State Recursion: Semantics and Interpretation
10	11	CGI Programming Scheme and Continuations Threads
10	18	Semantics: Control Interpretation: Control
10	25	Types and Semantics Type Checking Type Soundness
11	1	KL: Something Aspect
11	8	Polymorphism: Why, How Type Checking Type Inference
11	15	Exam
11	22	Special Topic
11	29	Special Topic
12	6	Special Topic
12	13	Project Presentations