[TYPES/announce] APLAS 2016: call for posters (deadline extension)

2016-09-23 Thread Atsushi Igarashi
[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] Call for Posters - Deadline extended [Please accept our apologies for duplicates] 14th Asian Symposium on Programming Languages and Systems Hanoi, Vietnam, November 21-23, 2016 More

[TYPES/announce] CoqPL 2017: Call for Presentations for the Workshop on Coq for Programming Languages

2016-09-23 Thread Emilio Jesús Gallego Arias
[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] === CoqPL 2017 3rd Workshop on Coq for Programming Languages