Due to Peter Thiemann's visit and talk, PL Seminar Jr will not meet tomorrow, July 25. We'll resume as normal next week. Upcoming Talks ============== August 1: Ryan Culpepper: The PLT Unit System August 8: David van Horn: Types and Trace Effectcs August 15: Carl Eastlund: FRP