[TYPES/announce] MFCS 2022 - Second Call for Papers

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] MFCS 2022 - SECOND CALL FOR PAPERS The 47th International Symposium on Mathematical Foundations of Computer Science, August 22-26, 2022, Vienna, Austria

[TYPES/announce] CfP: 15th Interaction and Concurrency Experience (ICE 2022)

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] *** We apologize for possible cross posting ***    ICE 2022 15th Interaction and Concurrency Experience 17 June 2022   

[TYPES/announce] OPLSS 2022

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] We are pleased to announce the program for the 20th annual Oregon Programming Languages Summer School (OPLSS) to be held from June 20th to July 2nd, 2022 at the University of Oregon in

[TYPES/announce] Postdoctoral researcher: opening at the University of Cambridge

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] We have an opening at the University of Cambridge for a postdoctoral researcher on the Modular Macros

[TYPES/announce] Workshop on Advances in Separation Logics (ASL 2022 @ FLOC 2022)

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] Workshop on Advances in Separation Logics (ASL 2022), Haifa, Israel, July 31st 2022