[TYPES/announce] The Coq Workshop 2020: Deadline Extension

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] Dear all, the deadline for abstract submission for the Coq Workshop 2020 has been extended until Friday, May 1st, "Anywhere on Earth" New dates: - May 1st, 2020 (AoE): Deadline for

[TYPES/announce] CoqPL 2017: Call for Participation [registration is open]

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] The 3rd International Workshop on Coq for Programming Languages Associated to POPL 2017 The CoqPL workshop provides an opportunity for programming languages researchers to meet and interact

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

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] === CoqPL 2017 3rd Workshop on Coq for Programming Languages

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

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] === CoqPL 2017 3rd Workshop on Coq for Programming Languages