[TYPES/announce] Two Lectureships in Nottingham

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] Dear all, We are advertising two new Lectureships (Assistant Professorships) in Computer Science at the University of Nottingham in England. Applications in the area of functional programmi

[TYPES/announce] Internships at Sun Labs

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] The Programming Languages Research Group at Sun Labs has five internship slots available for Summer 2008. Each slot is available in either Burlington MA or Austin TX. These internships w

[TYPES/announce] FLOPS 2008 Call for Participation

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] Call For Participation Ninth International Symposium on Functional and Logic Programming FLOPS 2008