Tue 16 Jun 2026 11:30 - 11:55 at Trailhead - Choreographic Applications Chair(s): Dan Plyukhin

Recent advances in large language models have led to the rise of software systems (i.e. agents) that execute with increasing autonomy on behalf of users in open, multi-party settings, interacting with untrusted counterparts and managing private information. Choreographic programming offers correct-by-construction protocol-design for such settings, but assumes cooperative participants — it has no notion of agent self-interest, that is, why an agent will follow a protocol. In this talk we introduce Pact, a choreographic language extended with operations to describe agent choices and preferences, drawing from the rich literature of game theory. Every Pact protocol maps to a formal game, allowing protocol designers to reason about game-theoretic properties of their protocols, such as solving for decision policies. We present Pact’s design and a preliminary implementation — a bounded-rational solver that computes decision policies over Pact protocols — and findings from applying this language to multi-party coordination with self-interested agentic participants.

Tue 16 Jun

Displayed time zone: Mountain Time (US & Canada) change

10:40 - 12:20
Choreographic ApplicationsCP at Trailhead
Chair(s): Dan Plyukhin University of Southern Denmark
10:40
25m
Talk
The Chor of the Message Passing Interface (MPI)
CP
Keith Allen University at Buffalo, SUNY, Andrew K. Hirsch University at Buffalo, SUNY
11:05
25m
Talk
Towards Quantum Choreographies
CP
Jennifer Paykin University of Vermont, Joseph P. Near University of Vermont, Christian Skalka University of Vermont
11:30
25m
Talk
Pact: A Choreographic Language for Agentic Ecosystems
CP
File Attached
11:55
25m
Talk
Towards Choreographic Programming for Consensus Protocols
CP
Michael Zhang Northeastern University, Joshua Gancher Northeastern University