Proceedings of the 21st International Workshop on Termination

2026-07-10

AI Summary

This work addresses the critical problem of termination analysis in automated reasoning by synthesizing cutting-edge contributions from the 21st International Workshop on Termination (TERMGRAPH 2026). It systematically investigates methods for analyzing the termination behavior of programs and computational systems, integrating techniques from rewriting systems, logical frameworks, and automated verification. By bridging theoretical advances with practical methodologies, the research fosters interdisciplinary progress at the intersection of logic, formal methods, and automated reasoning. The findings are disseminated through a dedicated proceedings volume, forming an integral part of IJCAR 2026 and FLoC 2026, thereby significantly enhancing scholarly exchange and collaborative innovation in termination research.

Abstract

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).

Problem

• Termination
• Automated Reasoning
• International Workshop

Innovation

• Termination
• Automated Reasoning
• FLoC