[ The Types Forum (announcements only),
http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]
Dear Colleagues,
We are pleased to announce the call for papers for a special issue of ACM
Transactions on Programming Languages and Systems on Multiparty Languages.
https://urldefense.com/v3/__https://dl.acm.org/pb-assets/static_journal_pages/toplas/pdf/ACM-TOPLAS-CfP-Multiparty-Languages-1762804744233.pdf__;!!IBzWLUs!WnkrtHY748BFBZPwAsI1SxlWtgOIEF8gSZlhysXjbsZmkAhdPCQySXB7zn2jm4840aXh49y1L7rrffmxIH_K-ObPn7Cs3ab0fFvifqWD$
## Guest editors
- Cinzia Di Giusto, Université Côte D'Azur, CNRS (FR),
[email protected]
- Saverio Giallorenzo, Università di Bologna (IT) and INRIA (FR),
[email protected]
- Hannah Gommerstadt, Vassar College (USA), [email protected]
- Marco Peressotti, University of Southern Denmark (DK),
[email protected]
## Scope
Multiparty languages support the development and verification of
distributed systems through precise, structured communication protocols
amongst multiple participants. Notable strands include session types,
choreographic programming, and multi-tier programming. Despite these
advances, important challenges remain. There is a lack of theoretical
models that can fully capture real-world concerns, such as resource
constraints, energy usage, and fallible communication media. At the same
time, there is rare and preliminary work on transferring foundational
insights into practical programming tools and methodologies that integrate
with mainstream development. In addition, the connections between different
strands of multiparty languages are largely underdeveloped, leaving
opportunities for unifying perspectives.
This special issue aims to address these gaps by showcasing contributions
that bring theory closer to practice and foster cross-pollination between
approaches. We welcome new formal models with demonstrable implementation
relevance, practical tools grounded in robust semantics, and empirical
studies that generate fresh theoretical insights. Submissions may be in the
spectrum between the purely theoretical to the purely practical, provided
they offer substantial advances in the understanding of multiparty
languages.
## Topics
The issue emphasises integration between theory and practice, with
contributions on theoretical foundations with practical implications (new
frameworks, correctness guarantees, and verification methods with potential
for deployment), implementation-driven insights (case studies, tools, and
implementations that challenge or validate formal models), and pragmatic
tools grounded in theory (prototype languages, compilers, runtime systems,
and verification frameworks).
Expected contributions include, but are not limited to :
- Session types and type-theoretic approaches, balancing rigour with
implementability
- Choreographic programming, from global specifications to reliable local
implementations
- Multi-tier programming, addressing correctness and clarity in cross-tier
communication
## Important Dates (Anywhere on Earth time)
- Submission deadline: 15 May 2026
- First-round review decisions: 15 September 2026
- Deadline for revision submissions: 15 November 2026
- Notification of final decisions: 30 January 2027
- Tentative publication: 15 March 2027
## Submission Information
We invite authors to submit high-quality, original research that has not
been published or reviewed elsewhere. Submissions should adhere to the ACM
TOPLAS formatting guidelines, include a clear statement of the significant
and novel results, be sound and use appropriate methods, and present ideas
clearly and effectively.
All papers will undergo a rigorous peer-review process to ensure the
highest standards of research quality and relevance.
Note that overly long papers may take longer to review. Authors wishing to
submit papers likely exceeding 50 pages should consider contacting the
guest editors prior to submission. The submission deadline is firm.
## Contact
For questions and further information, please contact the guest editors
We look forward to receiving your submissions.
Best regards,
Cinzia, Hannah, Marco, and Saverio
