[TYPES/announce] CFP - Deadline Extension - SPAC 2007

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] -The paper submission deadline has been extended to March 18, 2007 The First IEEE International Workshop on Software Patterns: Addressing Chall

[TYPES/announce] Assoc. Professorship Opening

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] Associate Professorship in Programming, Logic and Semantics at the IT University of Copenhagen, Denmark. The IT University of Copenhagen invites applications for a position a