[TYPES/announce] PhD scholarships on blockchain & distributed ledger technology

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] HIGHLIGHTS - Department of Computer Science of GSSI (Italy,

[TYPES/announce] Day of the Camel 2023: OCaml in Academia and Industry (online, 20 July 2023)

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] The Day of the Camel 2023 is a one-day hybrid workshop dedicated to the OCaml programming language and its industrial users. It comprises talks and discussions with members of the OCaml

[TYPES/announce] SBMF 2023 - Second Call for Papers

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] = SECOND CALL FOR PAPERS 26th Brazilian Symposium on Formal Methods Manaus, Brazil, 4th to 8th of December, 2023

[TYPES/announce] Seeking nominations: POPL 2024 Artifact Evaluation Committee

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] TLDR: Nominate students, postdocs, and researchers for the POPL 2024 Artifact Evaluation Committee by August 4, 2024 at the following link: