AI 中文总结
第21届终止问题国际研讨会（WST 2026）会议记录，其于7月25日在里斯本举行，隶属于第13届自动推理国际联合会议（IJCAR 2026），而IJCAR 2026又是联合逻辑会议（FLoC 2026）一部分。
AI 中文摘要
本报告包含第21届终止问题国际研讨会（WST 2026）的会议记录，该研讨会于7月25日在里斯本举行。它隶属于第13届自动推理国际联合会议（IJCAR 2026），而IJCAR 2026是联合逻辑会议（FLoC 2026）的一部分。
英文摘要
This report contains the proceedings of the 21st International Workshop on Termination (WST 2026), which was held in Lisbon on July 25. It was affiliated with the 13th International Joint Conference on Automated Reasoning (IJCAR 2026), which was part of the Federated Logic Conference (FLoC 2026).
