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

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

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

2008-04-14 Thread Matthew Fluet
[ 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