[TYPES/announce] ESOP 2024: Call for papers

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

[TYPES/announce] ESOP 2024 Call For Papers

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