Proceedings of the 21st International Workshop on Termination
Logic in Computer Science
2026-07-10 v1
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).
Cite
@article{arxiv.2607.13065,
title = {Proceedings of the 21st International Workshop on Termination},
author = {Florian Frohn and Étienne Payet},
journal= {arXiv preprint arXiv:2607.13065},
year = {2026}
}