The Concurrent Calculi Formalisation Benchmark. - Marco Carbone; David Castro-Perez; Francisco Ferreira 001; Lorenzo Gheri; Frederik Krogsdal Jacobsen; Alberto Momigliano; Luca Padovani; Alceste Scalas; Dawit Legesse Tirore; Martin Vassor; Nobuko Yoshida; Daniel Zackon (COORDINATION, 2024)

Split Decisions: Explicit Contexts for Substructural Languages. - Daniel Zackon; Chuta Sano; Alberto Momigliano; Brigitte Pientka (CPP, 2025)