Tomorrow, 2/2 at 2:30 in WVH166. Jed will discuss the undecidability of bounded quantification (in type systems: think system F_<:). Talk abstract will appear in follow-up email. -- Upcoming schedule: 2/9 Aaron - nominal logic 2/16 Holiday (President's day) 2/23 Dimitris - control-flow analysis