No PRL Seminar this week (2/17/12).

Join us 2/24 for a discussion of: Stronger Role for Recursive Types Needed in the Logic of Events