[TYPES/announce] TERMGRAPH 2020: Deadline Extension - 22 April

2020-04-14 Thread Patrick Bahr
[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] === Call for Papers (*** DEADLINE EXTENSION ***)

[TYPES/announce] Haskell Symposium 2020 -- Call for Papers: Regular track & demos

2020-04-14 Thread Tom Schrijvers
[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] ACM SIGPLAN CALL FOR SUBMISSIONS

Re: [TYPES/announce] FORMATS 2020 ** 3nd Call for Papers**

2020-04-14 Thread Nils Jansen
[ 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