[TYPES/announce] 13th Track on Dependable, Adaptive, and Trustworthy Distributed Systems (DADS) of SAC'18

2017-09-14 Thread ivan.lanese
[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] FINAL CALL FOR PAPERS = +-- --+ | 13th Track on Dependable, Adaptive, and Trustworthy

[TYPES/announce] Call for Presentations on Secure Compilation (PriSC Workshop @ POPL'18)

2017-09-14 Thread Catalin Hritcu
[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] === Call for Presentations on Secure Compilation (PriSC Workshop @ POPL'18)

[TYPES/announce] SPLASH 2017: 1st Call for Participation

2017-09-14 Thread SPLASH Publicity
[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] ACM SIGPLAN SPLASH 2017 October 22-27, 2017 Vancouver, Canada http://2017.splashcon.org https://twitter.com/splashcon https://www.facebook.com/SPLASHCon/ The ACM SIGPLAN Conference on

[TYPES/announce] Tenure-track assistant professorship at Wesleyan University

2017-09-14 Thread Norman Danner
[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] The Department of Mathematics and Computer Science at Wesleyan University invites applications for a tenure track assistant professorship in Computer Science to begin in Fall 2018.