Behavioural Types: Bridging Theory and Practice (Dagstuhl Seminar 21372). - Mariangiola Dezani; Roland Kuhn 002; Sam Lindley; Alceste Scalas (Dagstuhl Reports, 2021)

Behavioural Types for Local-First Software. - Roland Kuhn 002; Hernán C. Melgratti; Emilio Tuosto (ECOOP, 2023)

Behaviorally Typed State Machines in TypeScript for Heterogeneous Swarms. - Roland Kuhn 002; Alan Darmasaputra (ISSTA, 2023)

Behavioural Types for Local-First Software (Artifact). - Roland Kuhn 002; Hernán C. Melgratti; Emilio Tuosto (Dagstuhl Artifacts Ser., 2023)

Behavioural Types for Heterogeneous Systems (Position Paper). - Simon Fowler 001; Philipp Haller; Roland Kuhn 002; Sam Lindley; Alceste Scalas; Vasco T. Vasconcelos (PLACES@ETAPS, 2024)

Next Generation Protocols for Heterogeneous Systems (Dagstuhl Seminar 24051). - Stephanie Balzer; Marco Carbone; Roland Kuhn 002; Peter Thiemann 001 (Dagstuhl Reports, 2024)