Schedule

Date	Presenter	Topic
Jan 12	Matthias	Idea of Course
Jan 15	Matthias	Prehistory
Jan 18		propose a first theme
Jan 19	popl	---
Jan 22	popl	---
Jan 26		deliver (at least) three bib entries and abstracts for first theme
Jan 26	popl	---
Jan 29	Matthias	More Prehistory
Feb 01		deliver paper copies of all citations for first theme
Feb 02		commit to first presentation date
Feb 02	Matthias	Lambda Calculus and Operational Semantics
Feb 05	Matthias	Lambda Calculus and Denotational Semantics
Feb 09	Matthias	Structural Operational Semantics
Feb 12	Matthias	Lambda Calculus, Scheme, and Operational Semantics
Feb 16	Zane	Hygienic Macros
Feb 16	---	Macros Matter: a talk by Robby Findler on the same theme
Feb 19	Paul	Type Soundness
Feb 23	Dimitris	Points-to analysis for Java
Feb 26	Stephen	Type 'Dynamic'
Mar 09	Aaron	Representation Independence and Data Abstraction
Mar 11		propose a second theme
Mar 12	Christos	Refinement Type
Mar 16	Jonathan	Inference and Effects
Mar 18		deliver bibtex and abstracts for second theme
Mar 19	Stevie	Type Systems for Non-standard Class Operations
Mar 23	Dan	OVERDUE: Composing Effects
Mar 25		deliver paper copies for second theme
Mar 26		commit to second presentation date
Mar 26	Vincent	Continuations as Intermediate Representations
Mar 30	Ahmed	Object Calculi
Apr 02	---	---
Apr 06	Alec	ANF cs CPS in Compilers
Apr 09	Vincent	Compiling with Types
Apr 13	Stephen	Delimited Control
Apr 16	Paul	Combinators and Machines
Apr 20	Stevie	Types for Parameterized Modules
Apr 23	Dan	Parametricity
Apr 27	Aaron	Types for Message-passing Concurrency
Apr 30	Dimitris	Program Analysis in First-order Languages
May 04	Jonathan	OVERDUE: Symbolic Execution (prelim)
May 11	esl	---
May 11	Christos	Design by Contract
May 14	Zane	OVERDUE: Partial Evaluation