[TYPES/announce] Permanent Position in Applied Formal Methods at Swansea University

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] Closing Date: 09-10-2023 Salary: Lecturer - £38,205 to £44,263 per annum with USS benefits Senior Lecturer - £45,585 to £54,395 per annum with USS benefits Contract: Permanent, Full time

[TYPES/announce] CFP: PEPM 2024, ACM SIGPLAN Workshop

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] -- ** **CALL FOR PAPERS ** **PEPM at POPL 2024 **Workshop on PARTIAL

[TYPES/announce] ESOP 2024 Call For Papers

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] *** CALL FOR PAPERS 33rd European Symposium on Programming