Proceedings of the 21st International Workshop on Termination

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

Logic, Reasoning, and Knowledge Semantic Web and Ontologies Biomedical Text Mining and Ontologies

View graph Source

Paper

Similar papers

The 19th International Workshop on Termination (WST 2023): Preface, Invited Talk Abstract, and Tool DescriptionsAkihisa Yamada, Benjamin Lucien Kaminski, Dieter Hofbauer et al.2023 · arXiv (Cornell University) In Library

Proceedings of the 21st Workshop on Logical Frameworks and Meta Languages: Theory and PracticeSophie Tourret, Olivier Hermant2026 · arXiv (Cornell University) In Library

Proceedings 21st International Symposium on Logical and Semantic Frameworks with ApplicationsValeria de Paiva, Thaynara Arielly de Lima2026 · arXiv (Cornell University) In Library

Proceedings 42nd International Conference on Logic ProgrammingWolfgang Faber, L Giordano, Ricardo Rocha et al.2026 · arXiv (Cornell University) In Library

Proceedings Twentieth International Symposium on Logical and Semantic Frameworks with ApplicationsHaniel Barbosa, Christophe Ringeissen2025 · HAL (Le Centre pour la Communication Scientifique Directe) In Library

PrefaceGeorge Metcalfe, Thomas Studer, Ruy de Queiroz2026 · Journal of Logic and Computation In Library

Conference reportsJorge A. Pérez2020 · ACM SIGLOG News In Library

Report on Logic in Computer Science (LICS'23)Marco Gaboardi, Igor Walukiewicz2023 · ACM SIGLOG News In Library

Proceedings 41st International Conference on Logic ProgrammingMartin Gebser, Daniela Inclezan, Francesco Ricca et al.2025 · arXiv (Cornell University) In Library

Report on the 1st Workshop on Implicit Author Characterization from Texts for Search and Retrieval (IACT 2023) at SIGIR 2023Marina Litvak, Irina Rabaev, Ricardo Campos et al.2023 · ACM SIGIR Forum · 0 citations In Library

Source of record

OpenAlex

44B

Welcome.

This panel sticks with you. Pick anything below and it opens right beside it, so you can dig through 60,000-plus records without ever losing your spot here.

Travel 44B

LibraryPapers, policy, standards, statute LabsEvery organization building AI ModelsIntelligence, price, and speed BenchmarksThe evaluation catalog IncidentsAI failures and harms SearchOne field across everything DashboardThe state of AI accountability in NY 44B RegistryThe Art. 44-B compliance portal