[TYPES/announce] DSLDI 2017: Second Call for Talk Proposals

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] * SECOND CALL FOR TALK PROPOSALS DSLDI 2017 Fifth Workshop on Domain-Specific Language Design and Implementation

[TYPES/announce] DeepSpec summer school is online!

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] The DeepSpec Summer School on Verified Systems was held in Philadelphia during the last two weeks of July. If you weren’t able to join in person, you may like to know that all the

[TYPES/announce] Postdoctoral position on effects and/or type theory at Inria in Nantes

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] Dear all, We are pleased to announce the availability of a postdoctoral position on effects and/or type theory in the Inria team Gallinette, in Nantes. Gallinette is a new Inria team

[TYPES/announce] Call for Participation: Workshop on HoTT/UF (with FSCD 2017)

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] == CALL FOR PARTICIPATION Workshop on Homotopy Type Theory and Univalent Foundations (HoTT/UF, at FSCD 2017) September 8-9, 2017,

[TYPES/announce] Postdoc Position in Program Verification at Carnegie Mellon University, Silicon Valley

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] A post-doctoral researcher position focusing on symbolic verification techniques for cyber-security is available at Carnegie Mellon University at the Silicon Valley Campus (Mountain View,

[TYPES/announce] PLAS 2017 - Deadline Extension 4 August 2017

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] PLAS 2017 Call for Papers ACM SIGSAC 12th Workshop on Programming Languages and Analysis for Security (PLAS 2017) http://plas2017.cse.buffalo.edu/ 30