I will be giving a practice talk for ICFP on Thursday at 10 AM, in 366. My talk is entitled "Logical Types for Untyped Languages". -- sam th samth at ccs.neu.edu