PL Jr will meet Mondays, 11:30-1:30, room TBA. The roster of talks is available on the wiki (https://wiki.ccs.neu.edu/display/GRADWIKI/PlSeminarJr). A prefix is: 9/21 Garbage collection - Jed (may talk about BDDs instead) 9/28 Boyer-Moore provers - Ian 10/5 Semantic paradigms - Aaron