Post #2264277

Pleased to share a cool new paper I've been working on (and will be presenting at Choreographic Programming Workshop'26) ! It's a choreographic language extended with game theoretic semantics! Really excited about this, currently just a workshop proposal, but I'd love to spend some time nailing down the formal semantics and properties! Willing to collab if anyone is interested! Otherwise, happy to hear your thoughts! https://arxiv.org/abs/2605.03143