[TYPES/announce] CFP: ML workshop 2016

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] Submission site is now open! See you in Nara! - Higher-order, Typed, Inferred, Strict: ACM SIGPLAN ML Family Workshop Thur

[TYPES/announce] GraMSec'16 CALL FOR PARTICIPATION

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] ** GraMSec 2016 The Third International Workshop on Graphical Models for Security Co-located with CSF 2016 Lisbon, Portugal -

[TYPES/announce] CfP: Special Issue on Architectures, Languages and Verification techniques for Internet-based Society (ALVIS)

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] Special Issue on Architectures, Languages and Verification techniques for Internet-based Society (ALVIS) http://www.hindawi.com/journals/sp/si/936582/cfp/ *** Call for Papers *** * Highligh

[TYPES/announce] CFP: Workshop on Type-driven Development (TyDe '16)

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] FINAL CALL FOR PAPERS 1st Type-Driven Development (TyDe '16