[TYPES/announce] PLDI 2023 Call for Papers

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] Please distribute widely. *Call for Papers* 2024 ACM Conference on Programming Language Design and Implementation (PLDI) Wed 26 - Fri 28 June 2024 Copenhagen, Denmark ht

[TYPES/announce] PADL'24: Last Call for Papers

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] == Call for Papers 26th International Symposium on Practical Aspects of Declarative Lang

[TYPES/announce] ETMF 2023 (co-located with SBMF 2023) - Call for participation

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] [Apologies for multiple copies] == ETMF 2023 - CALL FOR PARTICIPATION == The 8th School of Theoretical Computer Science and F

[TYPES/announce] Logic Colloquium 2024, Gothenburg, 24-28 June 2024

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] Logic Colloquium 2024 Gothenburg, Sweden 24-28 June 2024 web: lc2024.se contact: i...@lc2024.se The Logic Colloquium is the European Summer Meeting of the Association for Symbolic Logic, an

[TYPES/announce] The 15th International Workshop on Rewriting Logic and its Applications: Call for Papers

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] CALL FOR PAPERS The 15th International Workshop on Rewriting Logic and its Applications, 2024 (WRLA 2024) https://urldefense.com/v3/__https://wrla2024.gitlab.io/__;!!IBzWLUs!TFFU3TxKxEnKHng