[TYPES/announce] Position: technical lead for certification, IO

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] IO Global is building an online store for distributed applications (dApps) on Cardano. The dApp store will give users the ability to download, evaluate, and review applications that have

[TYPES/announce] LICS 2022 Call for Papers

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] CALL FOR PAPERS Thirty-Seventh Annual ACM/IEEE Symposium on LOGIC IN COMPUTER SCIENCE (LICS) August 2022 Part of Federated Logic Conference 2022 (Haifa)

[TYPES/announce] Research Fellows in Logic at UCL, London

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] Please note, with my apologies, an error in the information below: the closing date should read 31 October. Thank you to the many people who have pointed this out.

[TYPES/announce] NFM 2022 - SECOND CALL FOR PAPERS

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] NFM 2022 - SECOND CALL FOR PAPERS The 14th NASA Formal Methods Symposium

[TYPES/announce] TYPES 2021 post-proceedings: Open call for papers

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] Open call for papers for the Post-proceedings of the 27th International Conference on Types for Proofs and Programs