[TYPES/announce] DBPL 2011 Call for papers

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] The 13th International Symposium on Database Programming Languages http://www.cs.cornell.edu/conferences/dbpl2011 Seatt

[TYPES/announce] Summer School on Programming Languages for Concurrent and Parallel Computing

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] Call for Participation The 2011 UPMARC Summer School on Multicore Computing focuses on programming languages for concurrent and parallel computing and will take place in Stockholm, Sweden

[TYPES/announce] CSL'11 call for papers, deadline approaching

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] --- CALL FOR PAPERS AND WORKSHOP PROPOSALS CSL 2011 20th Annual Conference of th

[TYPES/announce] CFP for PxTP 2011

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] The First International Workshop on Proof Exchange for Theorem Proving (PxTP) http://pxtp2011.loria.fr/ associated with The Conference on Automated Deduction (CADE), 2011. -

[TYPES/announce] [fm-announcements] VVPS'11 CFP - deadline extension: March 25

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] -- CALL FOR PAPERS *** DEADLINE EXTENSION : March 25 *** 3rd ICAPS Wor