[TYPES/announce] Extended last registration date for Summer School on Programming Languages for Concurrent and Parallel Computing

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] NOTE: The last day of registration has been extended to May 16! Call for Participation The 2011 UPMARC Summer School on Multicore Computing focuses on programming languages for

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

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] * Deadline approaching * LSFA 2011 - Sixth Workshop on Logical and Semantic Frameworks, with Applications August 27th, 2011, Belo Horizonte, Minas Gerais, Brazil Scope Logical