[TYPES/announce] POSTDOC Position in Lisbon (Carnegie Mellon | Portugal Research Project)

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] We welcome applications for a post-doctoral scholarship. *** DEADLINE 30 FEBRUARY 2011 The position is funded by the research project Certified Interfaces for Integrity

[TYPES/announce] CfP: The 9th International Conference on SOFTWARE ENGINEERING AND FORMAL METHODS (SEFM'11)

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] = CALL FOR PAPERS - SEFM 2011 The 9th International Conference on SOFTWARE ENGINEERING AND FORMAL METHODS (SEFM) 14-18 November

[TYPES/announce] ASPLOS 2011 Student Travel Grants Deadline is January 26.

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] *** Our apologies if you receive this announcement from multiple sources *** = ASPLOS 2011 Travel Grants = Funded by: NSF, SIGARCH, SIGOPS,

[TYPES/announce] CS2Bio11 - Call for Papers

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] Call for papers CS2Bio'11 2nd International Workshop on