[TYPES/announce] Cfp: 3rd Int'l Workshop on Security and Rewriting Techniques Security (SecReT 2008)

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] SecReT 2008 3rd International Workshop on Security

[TYPES/announce] Cfp: 3rd Int'l Workshop on Security and Rewriting Techniques Security (SecReT 2008)

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] SecReT 2008 3rd International Workshop on Security