[TYPES/announce] The Royal Society Discussion Meeting "From computers to ubiquitous computing, by 2020"

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] We are delighted to announce: The Royal Society Discussion Meeting "From computers to ubiquitous computing, by 2020" 17-18th March 2008 The Royal Society, London http://www.royalsoc.ac.uk

[TYPES/announce] 1st CFP: 3rd Int'l Workshop on Automated Specification and Verification of Web Systems (WWV'07)

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] [ We apologize for multiple copies ] *** 1st Call for Papers 3rd International Workshop on Au

[TYPES/announce] SPACE 2008: Call for Papers

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] SPACE'08 CALL FOR PAPERS Fourth Workshop on Semantics, Program Analysis, and Computing Environments for Memory Management January 13, 20