[Pl-seminar] Separation Logic talk Wed 12/3/03

Mitchell Wand wand at ccs.neu.edu
Mon Dec 1 18:02:37 EST 2003


Note that Dale's talk on Separation Logic will be on Wednesday, our
regular seminar day.  The "upcoming events" on a preceding mailing
incorrectly showed it as being on 12/2 (Tuesday).

--Mitch 


More information about the pl-seminar mailing list