📣 Excited to announce the 1st Choreographic Programming (CP 2024) @PLDI 2024 🇩🇰 The workshop invites talk proposals on the CP paradigm—where programs are concurrent/distributed coordination plans 🗒️ compilable into compliant implementations ⚙️ Info: pldi24.sigplan.org/home/cp-2024