[TYPES/announce] PPDP 2023: Call for Papers

2023-04-24 Thread Ugo de Liguoro
[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] = PPDP 2023 Call for Papers = 25th International Symposium on Principles and Practice of Declarative Programming 22-23 October 2023, Cascais

[TYPES/announce] PPDP 2023 - Call for Papers

2023-04-18 Thread Santiago Escobar
[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] ** Apologies for multiple postings ** PPDP 2023 Call for Papers 25th International Symposium on Principles and Practice of Declarative