[TYPES/announce] CfP: LACompLing2021 Logic and Algorithms in Computational Linguistics 2021, MALIN, Montpellier

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] CALL FOR PAPERS Symposium Logic and Algorithms in Computational Linguistics 2021 (LACompLing2021) 13 - 17 December 2021, online

[TYPES/announce] Postdoctoral positions at IRIF, Paris, France

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] IRIF (CNRS and Université de Paris), Paris, France, is seeking excellent candidates for postdoctoral positions in all areas of the Foundations of Computer Science. Every year, 5-10 new