[TYPES/announce] CFP S-REPLS-5 @ University of Oxford

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] =-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-= CALL FOR PARTICIPATION AND TALK PROPOSALS Southern-Region English Programming Language Seminar (S-REPLS)

[TYPES/announce] PhD opportunities at the Univ. of Minnesota

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] Are you interested in research in programming languages and logic? Then consider applying to the graduate program in Computer Science at the University of Minnesota. There are several opening