[TYPES/announce] Postdoc positions in Reykjavik

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] Two one-year postdoc positions (one possibly extendible to 1.5 years) are available in the ICE-TCS lab of the Department of Computer Science of Reykjavik University

[TYPES/announce] Final Call for Papers: 17th Conference on Intelligent Computer Mathematics (CICM 2024)

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] Call for Papers formal papers - doctoral programme 17th Conference on Intelligent Computer Mathematics

[TYPES/announce] [ATVA 2024 CfP] 22nd International Symposium on Automated Technology for Verification and Analysis Call for Papers

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] Dear colleague, Apologies if you receive multiple copies of this call-for-papers of the 22nd International Symposium on Automated Technology for Verification and Analysis (ATVA 2024),