[TYPES/announce] POPL'17 Call for workshop and co-located event proposals

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] CALL FOR WORKSHOP AND CO-LOCATED EVENT PROPOSALS POPL 2017 44th ACM SIGPLAN-SIGACT Symposium on Principles of Programmin

[TYPES/announce] cyber security faculty positions at all levels @southampton

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] Dear all, I am glad to announce the following jobs in Cyber Security available at the University of Southampton - Royal Academy of Engineering Research Chair in Cyber Security