The first meeting is on Jan 5, 2004 in Forsyth 126 (that's building 55 on the campus map) at 6:00pm.

Week	Date	Presenter	Topic
1	Jan 5	Matthias	Idea of Course
1	Jan 5	Matthias	Prehistory of Semantics
1	Jan 5	Matthias	More Prehistory
2	Jan 12	Matthias	Denotational Semantics
2	Jan 12	Matthias	Domains and Universal Domains
2	Jan 12	Matthias	Denotational Semantics and Language Design
3	Jan 26	Matthias	Operational Semantics: The lambda Calculus
3	Jan 26	Matthias	Structural Operational Semantics
3	Jan 26	Matthias	Context-Sensitive Term Rewriting and Calculi
4	Feb 2	Richard	Type Soundness Proofs
4	Feb 2	Vasileios	Polymorphic Type Inference
4	Feb 2	Ethan	Inference of Values (SBA)
5	Feb 9	Viera	Semantics of OOPLs
5	Feb 9	Theo	Reflection (FP)
5	Feb 9	Daniel	Program Design (70s)
6	Feb 23	Carl	The Curry-Howard Isomorphism
6	Feb 23	Dave	Dependent Types
6	Feb 23	Felix	Types and Regions
7	Feb 26	Ryan	Macro Expansion
7	Feb 26	Owen	Partial Evaluation
7	Feb 26	Sam	Origins of Logic Programming
8	Mar 8	Jeff	Hardware Description Languages
8	Mar 8	Dale	Origins of Theorem Proving
8	Mar 8	Mike	Testing in the 1970s and 80s
9	Mar 11	Richard	Origins of Garbage Collection
9	Mar 11	Peter	Real-time Garbage Collection
9	Mar 11	Greg	Web Scripting
10	Mar 15	Viera	Modern Semantics of OOPLs
10	Mar 15	Daniel	Components and Contracts
10	Mar 15	Ryan	Modules from Dependent Types
11	Mar 18	Dave	Macros for C-Style Syntax
11	Mar 18	Sam	Modern Control Operators
11	Mar 18	Greg	CSP, CCS, PI
12	Mar 22	Peter	Mobile Processes
12	Mar 22	Mike	Little Languages
12	Mar 22	Owen	Domain Specific Languages
13	Mar 25	Theo	Reflection (OOP)
13	Mar 25	Carl	Proof-Carrying Code
13	Mar 25	Vasileios	TIL/TAL
14	Mar 29	Felix	Polytypic Programming
14	Mar 29	Jeff	Compilers from Attribute Grammars
14	Mar 29	Ethan	Abstract Machines
15	Apr 05	Dale	Second Generation Theorem Provers
15	Apr 05	Richard	Acquisition
15	Apr 05	Ryan	Functional (Lisp) Stepping
16	Apr 12	Dave	Correctness Proofs for CFA/SBA
16	Apr 12	Greg	Boxes and Lines
16	Apr 12	Dale	Meta-theoretical frameworks