Jesse will kick off this semester with a talk on the basics of linear logic. Please join us Monday, 1/26, 2:30 in WVH166. Upcoming talks: 2/9 Aaron - nominal logic 2/23 Dimitris - control-flow analysis (research)