[TYPES/announce] 26th ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering (ESEC/FSE) -- Test of Time Award announcement

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] TEST OF TIME AWARD == The 26th ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering (ESEC/FSE) is pleased to announce

[TYPES/announce] PhD positions in System Security and Formal Methods at KTH Royal Institute of Technology

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] (* Apologies for duplicates *) The TCS group at KTH Royal Institute of Technology has vacancies for two PhD students in System Security and Formal Methods. (We also have vacancies for one

[TYPES/announce] Post-doc opening at University Paris Diderot

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] POST-DOC POSITION ON GRADUALLY-TYPED PROGRAMMING LANGUAGES Applications are invited for a post-doctoral position at IRIF, the Research Institute on the Foundations of Computer Science,