Media Summary: A Propositional Dynamic Logic for Choreographies (Video, CP 2024) Matteo Acclavio, Fabrizio Montesi, and Marco Peressotti ... Klor: Choreographies for the Working Clojurian (Video, CP 2024) Lovro Lugović, and Sung-Shik Jongmans (University of ... Choreographies meet Communication Failures (Video, CP 2024) Eva Graversen, Fabrizio Montesi, and Marco Peressotti ...
Cp24 Choreographic Programming In Modal - Detailed Analysis & Overview
A Propositional Dynamic Logic for Choreographies (Video, CP 2024) Matteo Acclavio, Fabrizio Montesi, and Marco Peressotti ... Klor: Choreographies for the Working Clojurian (Video, CP 2024) Lovro Lugović, and Sung-Shik Jongmans (University of ... Choreographies meet Communication Failures (Video, CP 2024) Eva Graversen, Fabrizio Montesi, and Marco Peressotti ... Saverio Giallorenzo, Fabrizio Montesi, Marco Peressotti, David Richter, Guido Salvaneschi, Pascal Weisenburger. ECOOP 2021. Alice or Bob?: Process polymorphism in choreographies (Video, ICFP 2024) Eva Graversen, Andrew K. Hirsch, and Fabrizio ... This talk was recorded at Lambda Days in June 2025. If you're curious about our upcoming event, check
![[CP24] Choreographic Programming in Modal Type Theory](https://i.ytimg.com/vi/pxR9xA9K2yQ/mqdefault.jpg)
![[CP24] Corps: A Core Calculus of Hierarchical Choreographic Programming](https://i.ytimg.com/vi/iu_o1_emGEA/mqdefault.jpg)
![[CP24] Choreographic Programming: its essence, beauty, and necessity](https://i.ytimg.com/vi/KKkJpmnUekk/mqdefault.jpg)
![[CP24] Toward Verified Library-Level Choreographic Programming with Algebraic Effects](https://i.ytimg.com/vi/CJslm5PuGS0/mqdefault.jpg)
![[CP24] A Propositional Dynamic Logic for Choreographies](https://i.ytimg.com/vi/Y89UzGWj_JY/mqdefault.jpg)
![[CP24] Klor: Choreographies for the Working Clojurian](https://i.ytimg.com/vi/hWaxB4ESttQ/mqdefault.jpg)
![[CP24] Choreographies meet Communication Failures](https://i.ytimg.com/vi/WjLJ5dxA2VA/mqdefault.jpg)
![[PLDI24] [TOPLAS] Choral: Object-Oriented Choreographic Programming](https://i.ytimg.com/vi/mSj9Hp9tcGA/mqdefault.jpg)
![[ICFP'23] HasChor: Functional Choreographic Programming for All (Functional Pearl)](https://i.ytimg.com/vi/v-hH_YQ7mzQ/mqdefault.jpg)
![[ICFP'25] Relax! The Semilenient Core of Choreographic Programming (Functional Pearl)](https://i.ytimg.com/vi/UO_mdC_zt4Q/mqdefault.jpg)
![[ICFP24] Alice or Bob?: Process polymorphism in choreographies](https://i.ytimg.com/vi/RasirE78zsI/mqdefault.jpg)
