We will be meeting tomorrow in 166 at noon. As decided last week, we will be discussing Chapter 8 of Winskel and determining our schedule for the rest of the summer. --- Justin Slepak PhD student, Computer Science dept.