First International Workshop on Choreographic Programming (CP 2024)
Date: Jun 24, 2024 6:00 am – Jun 28, 2024 4:00 pm
Location: Copenhagen, DE
co-located with PLDI 2024
Choreographies are coordination plans for concurrent and distributed systems. A choreography defines the roles of the involved participants and how they are supposed to work together. In the emerging paradigm of choreographic programming (CP), choreographies are programs that can be compiled to executable implementations.
CP originated primarily in the context of process calculi, with preliminary work done to establish its foundations and experiment with implementations. Recently, several proposals have shown that one can adapt CP to work in synergy with mainstream programming paradigms, such as object-oriented and functional programming. These works substantiate the interest of a growing community of researchers and practitioners in evolving CP into a mature paradigm, able to improve the productivity and reliability of programming concurrent and distributed systems.
We are very excited to launch the 1st International Workshop on Choreographic Programming (CP 2024) alongside PLDI 2024. The aim of this workshop is to catalyse the community around CP by soliciting contributions including but not limited to the following topics:
- Theory and models of choreographic programming.
- Design and implementation of choreographic programming languages, encompassing both standalone and library-based implementations.
- Design and implementation of runtime systems for choreographic programming.
- Verification and testing of choreographic programs.
- Type systems for choreographic languages.
- Interactions with software engineering (e.g., software requirements, design, construction, testing, analysis, and maintenance and software development methodologies).
- Fault tolerance and reliability in the context of choreographic programming.
- Synergies and comparisons with adjacent approaches for concurrent and distributed programming (e.g., multitier programming).
The workshop will feature an invited keynote talk from Fabrizio Montesi and contributed talks from the choreographic programming community around the world.
Keynote Talk
Choreographic Programming: its essence, beauty, and necessity
Fabrizio Montesi
Submitted by Amy Karns
on
co-located with PLDI 2024
Choreographies are coordination plans for concurrent and distributed systems. A choreography defines the roles of the involved participants and how they are supposed to work together. In the emerging paradigm of choreographic programming (CP), choreographies are programs that can be compiled to executable implementations.
CP originated primarily in the context of process calculi, with preliminary work done to establish its foundations and experiment with implementations. Recently, several proposals have shown that one can adapt CP to work in synergy with mainstream programming paradigms, such as object-oriented and functional programming. These works substantiate the interest of a growing community of researchers and practitioners in evolving CP into a mature paradigm, able to improve the productivity and reliability of programming concurrent and distributed systems.
We are very excited to launch the 1st International Workshop on Choreographic Programming (CP 2024) alongside PLDI 2024. The aim of this workshop is to catalyse the community around CP by soliciting contributions including but not limited to the following topics:
- Theory and models of choreographic programming.
- Design and implementation of choreographic programming languages, encompassing both standalone and library-based implementations.
- Design and implementation of runtime systems for choreographic programming.
- Verification and testing of choreographic programs.
- Type systems for choreographic languages.
- Interactions with software engineering (e.g., software requirements, design, construction, testing, analysis, and maintenance and software development methodologies).
- Fault tolerance and reliability in the context of choreographic programming.
- Synergies and comparisons with adjacent approaches for concurrent and distributed programming (e.g., multitier programming).
The workshop will feature an invited keynote talk from Fabrizio Montesi and contributed talks from the choreographic programming community around the world.