[pl-seminar] PL Seminar: Thursday at 4:30

[Matt Elder <elder@xxxxxxxxxxx>]

The announcement I sent out earlier was in error. Aditya's PL Seminar,

    Directed Proof Generation for Machine Code,

will be in CS 4310 at 4:30 on Thursday, July 8.

He's also presenting this on Tuesday, but that's just a preliminary 
practice talk. Tuesday's will be the same material as Thursday's talk, 
except it'll probably be rougher.
Sorry for the confusion.

-- Matt