[TYPES/announce] CFP: RULE 2008

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] = Call for Papers RULE 2008 9th International Workshop on R

[TYPES/announce] CiE 2008 - EXTENDED DEADLINE

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] Due to the high level of requests, we have extended the paper submission deadline to January 14th, 2008: Computabil

[TYPES/announce] ITRS'08 - Call for Papers

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] Call for Papers 4th Workshop on Intersection Types and Related Systems (ITRS '08) Turin, Italy

[TYPES/announce] MSFP call for papers

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] CALL FOR PAPERS Second Workshop on MATHEMATICALLY STRUCTURED FUNCTIONAL PROGRAMMING 6 July 2008, Reykjavik - Iceland A satellite workshop of ICALP 2008 PRESENTATION The workshop on Mathem

[TYPES/announce] 31 days to go until TOOLS Europe submission deadline

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] TOOLS EUROPE 2008 46th International Conference