[TYPES/announce] CfParticipation: Scheme and FP 2007

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] [Apologies of you receive multiple copies of this message] 2007 Workshop on Scheme and Functional Programming http:/

[TYPES/announce] Ph.D. scholarships at the IT University of Copenhagen

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] A number of Ph.D. scholarships are available at the IT University of Copenhagen, including some in the areas of the Programming, Logic and Semantics (PLS) Group with research in programming