[TYPES/announce] [Call for Participation] LSFA 2023 (early registration May 31)

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] *18th Logical and Semantic Frameworks with Applications - LSFA 2023* *1-2 July 2023*

[TYPES/announce] GandALF 2023: Last Call For Papers

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] [apologies for cross-postings] The Fourteenth International Symposium on Games, Automata, Logics, and Formal Verification (GandALF 23) will be held in Udine (Italy) onSeptember 18-20,

[TYPES/announce] HOR 2023: Call for Participation

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] -- ** ** CALL FOR PARTICIPATION ** **HOR 2023 - 11th International Workshop on Higher-Order

[TYPES/announce] WiL 2023 - Call for Participation

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] Are you a woman working in logic? Please join us on July 1 at WiL, give a talk, and enjoy a day with Women in Logic! * Everybody is welcome! There is some funding available for