[TYPES/announce] Onward! 2011: Call for Papers, Essays, Films, and Workshops

2011-02-24 Thread Eelco Visser
[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] Call for Papers, Essays, Films, and Workshops -=-=-=-=-= Onward! 2011 ACM Conference on New Ideas in Programming and Reflections on Software October 22-27, 2011 Hilton Portland & Executive

[TYPES/announce] IWACO 2011: Call for Papers

2011-02-24 Thread Nicholas Cameron
[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] Call For Papers International Workshop on Aliasing, Confinement and Ownership in object-oriented programming (IWACO) Celebrating 20 y

[TYPES/announce] PhD position in Communicating Transactions at Trinity College Dublin

2011-02-24 Thread Matthew Hennessy
[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] [Apologies for multiple mailings] Language Support for Communicating Transactions A three year PhD position, to start in September 2011, is now available at Trinity College Dublin, Irelan

[TYPES/announce] LOLA 2011 -- call for contributed talks

2011-02-24 Thread Zhong Shao
[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] *** CALL FOR CONTRIBUTED TALKS *** LOLA 2011 Syntax and Semantics of Low Level Langua

[TYPES/announce] LSFA 2011 - First call for papers

2011-02-24 Thread Elaine Pimentel
[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] LSFA 2011 - Sixth Workshop on Logical and Semantic Frameworks, with Applications August 27th, 2011, Belo Horizonte, Minas Gerais, Brazil Scope Logical and semantic frameworks are formal la