[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

[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

[TYPES/announce] Final CFP: Logical Frameworks and Meta-languages: Theory and Practice (LFMTP) 2016

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] Logical Frameworks and Meta-Languages: Theory and Practice Thursday, 23 June 2016 Affiliated with FSCD Porto, Portugal http://dlicata.web.wesleyan.edu/events/lfmtp2016/ Logical frameworks