There will be no talk this week, nor next week. The schedule for the remainder of the semester is: 12/8 Christos: Dpi, or ambient calculus 12/15 Zane: the Kernel programming language