subject:"\[TYPES\/announce\] POPL'17 Call for workshop and co\-located event proposals"

[TYPES/announce] POPL'17 Call for workshop and co-located event proposals (extended deadlines)

2016-04-14 Thread David Baelde

[ 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] POPL'17 Call for workshop and co-located event proposals

2016-04-04 Thread David Baelde

[ 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