[TYPES/announce] PhD Positions Available at the University of Lille – Starting September 2024

include the names and contact details of two references. Candidates should have, or be close to completing, a master’s degree in computer science or mathematics. We look forward to receiving your application. Best regards, David -- David Nowak https://urldefense.com/v3/__https

[TYPES/announce] PhD position on program verification in Coq

cert.org <https://compcert.org/> ——— All the best, -- Gilles Grimaud, Samuel Hym, David Nowak

[TYPES/announce] ENTROPY 2019: Call for Participation - Co-located with EuroS'19

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] *** Call for participation — ENTROPY 2019 ENabling TRust through Os Proofs … and beYond 16

[TYPES/announce] ENTROPY 2019: Deadline Extension -- Final Call for Papers

ttps://entropy2019.sciencesconf.org. PROGRAM CHAIRS Mads Dam, KTH Royal Institute of Technology David Nowak, CNRS and University of Lille PROGRAM COMMITTEE Christoph Baumann, Ericsson AB Gustavo Betarte, Univ. de la República, Uruguay David Cock, ETH Zurich Mads Dam, KTH Royal Institute of Technology (c

[TYPES/announce] ENTROPY 2019: Second Call for Papers - Co-located with EuroS'19

lore in a companion volume to the regular EuroS proceedings. For formatting and submission instructions see https://entropy2019.sciencesconf.org. PROGRAM CHAIRS Mads Dam, KTH Royal Institute of Technology David Nowak, CNRS and University of Lille PROGRAM COMMITTEE Christoph Baumann, Ericsson AB Gustavo Bet

[TYPES/announce] ENTROPY 2019: Call for Papers

. PROGRAM CHAIRS Mads Dam, KTH Royal Institute of Technology David Nowak, CNRS and University of Lille PROGRAM COMMITTEE Christoph Baumann, Ericsson AB Gustavo Betarte, Univ. de la República, Uruguay David Cock, ETH Zurich Mads Dam, KTH Royal Institute of Technology (chair) Anthony Fox, ARM Deepak