[Pl-seminar] Semantics Seminar Schedule

Mitchell Wand wand at ccs.neu.edu
Wed Nov 22 08:09:46 EST 2006

NU Programming Languages Seminar
No seminar Wednesday, 11/22/06

Upcoming Events:

# Wed 11/29 Riccardo Puccella
# Wed 12/6 Dick Gabriel
# Wed 12/13 Pete Manolios, A Complete Compositional Reasoning
  Framework with Applications to Hardware Verification
# Wed 1/24 Bil Lewis, Omniscient Debugging


More information about the pl-seminar mailing list