I'll be presenting Matthias's expressiveness paper this morning at 10am in Egan 306 (note the change in location!). Beginning on Oct 3, we'll from 10am-12pm in Snell Library, room 39. Dave will speak about denotational semantics on the 3rd, and Felix will introduce effect systems on the 10th. Richard