[TYPES/announce] assoc. prof. opening at IT University of Copenhagen

2009-01-29 Thread Lars Birkedal
[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] The IT University of Copenhagen invites applications for an associate professorship in software development. The official announcement can be found at

[TYPES/announce] CFP Haskell Symposium 2009

2009-01-29 Thread Stephanie Weirich
[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] Haskell 09 ACM SIGPLAN Haskell Symposium 2009 Edinburgh, Scotland, UK September 3, 2009

[TYPES/announce] Second CfP: Structures and Deduction, Bordeaux, July 20-24, 2009

2009-01-29 Thread Lutz Strassburger
[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] *** SECOND CALL FOR PAPERS International Workshop Structures and Deduction (SD09)

[TYPES/announce] CfP: Scheme Workshop 2009

2009-01-29 Thread John Clements
[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] *** SCHEME AND FUNCTIONAL PROGRAMMING WORKSHOP 2009 Cambridge, Massachusetts August 22, 2009 CALL