[TYPES/announce] Spanish summer school on software verification (July 13-17)

interest in the course and determine the final conditions in which it can be held, which may include changes to the course dates according to public health guidelines. Course organizers: - Roberto Blanco (Inria Paris / MPI for Cyber Security and Privacy) - Ricardo J. Rodríguez (University

[TYPES/announce] Day of the Camel 2022: OCaml in Academia and Industry (online, 9 September 2022)

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] The Day of the Camel 2022 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] 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