[TYPES/announce] PEPM 2008: abstracts due Oct 12

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] PEPM 2008 ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation January 7-8, 2008, San Francisco Keynotes by Ras Bodik (Berkeley) and

[TYPES/announce] Call for Papers: ACM SAC 2008 (deadline extension to 16/9/2007)

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] CALL FOR PAPERS - SAC 2008: DEADLINE EXTENSION (16/9/2007) The 23rd ACM Symposium on Applied Computing March 16 – 20, 2008, Fortaleza, Ceará, Brazil

[TYPES/announce] CFP: European Symposium on Programming (ESOP)

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] A three day conference devoted to fundamental issues in the specification, analysis, and implementation of programming languages and systems. Abstracts due:5th October