The Scottfest

in honor of Dana S. Scott on his 70th Birthday

All talks will be held in Baker Hall A53 (downstairs in the "New Wing") The following schedule is only tentative - please check for future updates.

9:00	Clark Glymour	Opening remarks
9:00 - 9:45	Klaus Sutner	Symbolic Computation and Knowledge Representation
9:45 - 10:30	Stephen Brookes	A Brief History of Domains
10:30 - 11:00	Coffee Break
11:00 - 11:45	James Cummings	Ordinal definability, complete boolean algebras and ultrapowers
11:45 - 12:30	Nuel Belnap	Computers, continuous functions, and relevance logic
12:30 - 1:30	Lunch
1:30 - 2:15	Frank Pfenning	Modal logic revisited
2:15 - 3:00	Steve Awodey	Categories of sets and classes
3:00 - 3:30	Coffee Break
3:30 - 4:15	Bob Harper	Types and programming languages
4:15 - 5:00	Rick Statman	Some applications of the Grzegorczyk-Scott theorem
5:00	Jay Kadane	Dana's contributions to University governance
5:30 - 7:00	Reception	Alumni Concert Hall, CFA

The Scottfest is being sponsored jointly
by the departments of Computer Science, Mathematics, and Philosophy,
Carnegie Mellon University.

(inquiries to: awodey@cmu.edu)