[TYPES/announce] Last Call (deadline Jan 31): School of Formalized Mathematics at the Hausdorff Trimester "Prospects of Formalized Mathematics" (May 13 - 17, 2024)

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] The Hausdorff Trimester "Prospects of Formalized Mathematics" will organize a "School of Formalized Mathematics" (May 13 - 17, 2024). This is targeted towards junior researchers and

[TYPES/announce] TYPES 2024 - Call for Contributions

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]    Call for Contributions   TYPES 2024    30th International Conference on  Types for Proofs and Programs Copenhagen,

[TYPES/announce] *Extended Deadline* 17th International Workshop on Coalgebraic Methods in Computer Science (CMCS'24)

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] The submission deadline for the 17th International Workshop on Coalgebraic Methods in Computer Science (CMCS'24) has been extended to **5 February 2024** (abstracts) and **8 February