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.