Follow with Edit this page on Go back to the Bliki index

Choreographic Programming 2024

By Fabrizio Montesi. Created on 2024-06-27. Last updated on 2024-07-08.
See also: Introduction to Choreographies

Choreographic Programming 2024 (CP'24) ended. It was the first full international workshop on choreographic programming, co-located with PLDI 2024. I'm heading home as I'm beginning to write this entry, in very good spirits and with a head full of fresh ideas.

It's been a really great event, and I'm not the only one to think that! I've heard many positive opinions from both experts and outsiders. There's been a bit for everyone: the program had talks for anybody interested in learning more about the paradigm, with lots of work in progress on foundations, expressivity, logical methods, security, and applications.

We owe this experience to the three organisers (next picture).

From left to right: the workshop chairs Lindsey Kuper, Saverio Giallorenzo, and Marco Peressotti proudly display the sign of CP'24 at Radisson Blu Scandinavia Hotel, Copenhagen.

For many, the workshop has been an opportunity to meet some people that they've known only by name, or over online video calls. People came from many different places, as Marco showed during the opening (next picture).

The workshop got together many people who met for the first time, coming from different countries.

Another evident aspect was that many people, including outsiders, were intrigued by the topic. Co-locating with PLDI was obviously a very good choice. As I was testing my laptop for my keynote, I asked 'Are we sure that we have enough chairs?' More and more people were coming in, and before we knew it there were attendees who had to sit on the floor and tables. The room stayed full for most of the workshop and talks.

What was said?

If you missed the workshop, you can see some abstracts of the talks in the program. Edited videos of the workshop should be posted in the future, too. Keep an eye on the ACM SIGPLAN YouTube channel.

I'm gonna upload my slides, too, as soon as I can figure out a good way to host them..!

Interesting questions

At some point during my keynote I stated something like this: if we accept that interaction (like data communication) is important in concurrent and distributed programming, then we should have an abstraction for it. I then proceeded to show what has been discovered so far, including:

At the end of the talk, attendees asked some very relevant questions, including (and paraphrasing a bit):

What's next?

The workshop triggered so many discussions. People talked about how we could:

But these are technical points. And there is so much to do. We need to make it easier for new researchers and professionals to get started with choreographic programming and understand current limitations, applications, and future directions. This is perhaps what was discussed the most. More on that in the near future!