[TYPES/announce] ICALP 2021 - Second Call For Papers

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] === ICALP 2021 - Second Call for Papers === http://easyconferences.eu/icalp2021/ The 48th International Colloquium on

[TYPES/announce] [TFP'21] final call for papers: Trends in Functional Programming 2021, 17-19 February (online event with Lambda Days 2021 & TFPIE 2021)

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] -   Final call for papers     22nd Symposium on Trends in Functional Programming   

[TYPES/announce] UNESCO World Logic Day@UCL: Logical Journeys

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] Dear colleagues, We are organising a UNESCO World Logic Day (WLD) event in UCL, titled Logical Journeys! Details are available on our website: