[TYPES/announce] SYCO 12 - Call for Papers

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] - CALL FOR SUBMISSIONS TWELFTH SYMPOSIUM ON COMPOSITIONAL STRUCTURES (SYCO 12) Birmingham, UK 15-16 April, 2024 Submission deadline: Monday 11 March

[TYPES/announce] MGS 8-12 April 2024

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] https://urldefense.com/v3/__https://www.cs.le.ac.uk/events/mgs2024/__;!!IBzWLUs!StoL2fww5XKBeh7W5gRB-Ycss97IdTP70-l1z_2KP6rptwhpxUsVs2gmsCQikiU9aruI9Rx24d354WK3I6eVEzY1lqKMP7TH$

[TYPES/announce] CFP PPDP 2024 - The 26th International Symposium on, Principles and Practice of Declarative Programming

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] The 26th International Symposium on Principles and Practice of Declarative Programming, Part of FM 2024 and co-located with LOPSTR 2024, FACS 2024, FMICS 2024, and TAP 2024. September