[ The Types Forum (announcements only),
http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]
===
Call for Papers
(*** DEADLINE EXTENSION ***)
[ The Types Forum (announcements only),
http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]
ACM SIGPLAN CALL FOR
SUBMISSIONS
[ The Types Forum (announcements only),
http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]
— The abstract deadline is coming up soon! Due to several requests, we are
planning a journal special edition of FORMATS 2019 and 2020. —
3nd Call for Papers
FORMATS 2020
September 1st-3rd