[TYPES/announce] CFP BYTECODE'13

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] CALL FOR PAPERS BYTECODE 2013 8th Workshop on Bytecode Semantics, Verification, Analysis and

[TYPES/announce] Kohei Honda

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] Dear Colleagues, I am very sorry to give you the tragic and shocking news that Kohei Honda has passed away, after suffering a stroke at the weekend. This is a terrible loss for all of