[TYPES/announce] ESSLLI 2009 Bordeaux: Program and Call for Participation

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] - ESSLLI Monday, 20 July -- Friday, 31 July 2009 Bordeaux, France Program and Call for

[TYPES/announce] Call for Papers YR-CONCUR'09

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] [We apologise for multiple copies.] CALL FOR PAPERS: YR-CONCUR 2009 Young Researchers Workshop

[TYPES/announce] DEFUN09: Final Call for Talks & Tutorials (co-located w/ ICFP09)

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] Call for Talks and Tutorials ACM SIGPLAN 2009 Developer Tracks on Functional Programming http://www.defun2009.info/ Edinburgh, Scotla