[TYPES/announce] IEEE CSF 2023: final call for participation

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] Register at

[TYPES/announce] ACT 2023: Call for participation

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] 6th Annual International Conference on Applied Category Theory (ACT2023) University of Maryland, July 31 - August 4, 2023

[TYPES/announce] FMCAD 2023 Student Forum: Call for Contributions

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] (apologies for multiple copies) ==  2023 Formal Methods in Computer-Aided Design (FMCAD): Student Forum

[TYPES/announce] CCC 2023 - second call for contributions

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] CALL FOR CONTRIBUTIONS: CCC 2023: Continuity, Computability, Constructivity – From Logic to Algorithms Research Institute for Mathematical Sciences, Kyoto University Kyoto, Japan,