[ 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
[ The Types Forum (announcements only),
http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]
===
Call for Presentations on Secure Compilation (PriSC Workshop @ POPL'18)
[ 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
[ 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.