A program for #CPP2023 is now out https://popl23.sigplan.org/home/CPP-2023#program including keynote talks from Sandrine Blazy 'CompCert: a journey through the landscape of mechanized semantics for verified compilation' and Cezary Kaliszyk 'Improved Assistance for Interactive Proof'. The conference is co-hosted with #POPL2023 #VMCAI2023 and various workshops.

#CPP2023 (Certified Programs and Proofs) has just released its choice of 3 distinguished papers: "This award highlights papers that the CPP program committee thinks should be read by a broad audience due to their relevance, originality, significance and clarity". https://popl23.sigplan.org/home/CPP-2023#event-overview As a Program Committee member I had a small role in helping to choose this papers. A short thread:

The #CPP2023 (Certified Programs and Proofs) #AcceptedPapers list is out! https://popl23.sigplan.org/home/CPP-2023#event-overview I had the privilege of being on the Program Committee this year :). #ITP #Verification #Logic