[TYPES/announce] deadline extension: RULE 2008

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] = (DEADLINE EXTENSION) RULE 2008 9th International Workshop o

[TYPES/announce] 2nd CFP: 17th Int'l Workshop on Functional and (Constraint) Logic Programming (WFLP'08)

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] === 2nd Call For Papers WFLP 2008 17th Internatio

[TYPES/announce] Oregon Programming Languages Summer School [Extended registration deadline]

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] NEW: Registration deadline extended! The Oregon PL Summer School will run July 22-30, 2008 with the topic "Logic and Theorem Proving in Programming Languages". This is a very exciting topi

[TYPES/announce] Extended Deadline - ALTA 2008 CFP

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] Paper submission deadline: EXTENDED: April 21, 2008 Architectures and Languages for Throughput Applications (ALTA 2008) Held in conjunction with the 2008 International Symposium on Comput