[TYPES/announce] TYPES 2024: Call for Contributions - Deadline extension
[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] Call for Contributions -- Deadline Extension TYPES 2024 30th International Conference on Types for Proofs and Programs
[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