[TYPES/announce] SecReT 2010 Call for Participation

2010-05-10 Thread Steve Kremer
[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] *** Call for Participation 5th International Workshop on Security and

[TYPES/announce] SecReT 2010

2010-03-02 Thread Steve Kremer
[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] 5th International Workshop on Security and Rewriting Techniques (SecReT 2010) Valencia (Spain), June 18-20. Aims and Scope: We need to increase