The 19th International Workshop on Termination (WST 2023): Preface, Invited Talk Abstract, and Tool Descriptions
Akihisa Yamada, Benjamin Lucien Kaminski, Dieter Hofbauer, Fred, Mesnard, \'Etienne Payet
TL;DR
The paper presents the proceedings of WST 2023, a workshop focused on termination analysis in rewriting systems, including invited talks and tool descriptions from the event.
Contribution
It compiles recent research, tools, and discussions on termination, advancing the community's understanding and methodologies in rewriting termination analysis.
Findings
Collection of recent termination techniques
Introduction of new tools for termination analysis
Summary of key discussions and future directions
Abstract
This report contains the proceedings of the 19th International Workshop on Termination (WST 2023), which was held in Obergurgl during August 24--25 as part of Obergurgl Summer on Rewriting (OSR 2023).
Peer Reviews
No public reviews on file for this paper yet. If you reviewed it on a platform where reviews are public (OpenReview, ICLR, NeurIPS, ICML), you can paste yours below so the community can read it here.
Videos
No videos yet. Explain this paper in a talk, walkthrough, or lecture? Add one.
Taxonomy
TopicsNatural Language Processing Techniques