[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

[TYPES/announce] Call for Participation NFM 2010

2010-03-02 Thread Munoz, Cesar Augusto (LARC-D320)
[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] CALL FOR PARTICIPATION: 2nd NASA Formal Methods Symposium - The NASA Formal Methods