[TYPES/announce] Haskell Symposium'23 Calls For Papers

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] Dear all, Reminder that the Haskell Symposium’23 Submission Deadline is one week away. We are looking forward for your papers. Best, Niki

[TYPES/announce] Deadline Extension: CfP 2023 Coq workshop, May 30th

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] IMPORTANT: We are extending the deadline for submission to the Coq workshop to May 30th, AoE (Anywhere on Earth). We are pleased to invite you to submit presentation proposals for the