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 --Mitch