[TYPES/announce] TYPES 2024: Call for Contributions - Deadline extension

2024-03-05 Thread Patrick Bahr
[ 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

2024-01-30 Thread Patrick Bahr
[ 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