[TYPES/announce] Open PhD and Postdoc positions in Formal Analysis of Autonomous Systems at Chalmers University

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] Dear colleagues, The group for Safe and Trustworthy Autonomous Reasoning at Chalmers University has openings for two PhD positions and a PostDoc position in Formal Analysis of Autonomous

[TYPES/announce] CCC 2023 - extended deadline for contributions

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] CALL FOR CONTRIBUTIONS, extended deadline: CCC 2023: Continuity, Computability, Constructivity – From Logic to Algorithms Research Institute for Mathematical Sciences, Kyoto University

[TYPES/announce] ICFP 2023: Call for Participation

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] = Call for Participation The 28th ACM SIGPLAN International Conference