Note that Dale's talk on Separation Logic will be on Wednesday, our regular seminar day. The "upcoming events" on a preceding mailing incorrectly showed it as being on 12/2 (Tuesday). --Mitch