[PL-sem-jr] Monday, 1/26: Jesse on linear logic

Aaron Turon turon at ccs.neu.edu
Sat Jan 24 20:00:31 EST 2009

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)

More information about the Pl-sem-jr mailing list