This report contains the proceedings of the 18th International Workshop on Termination (WST 2022), which was held in Haifa during August 11--12 as part of the Federated Logic Conferences (FLoC) 2022.

The Workshop on Termination traditionally brings together, in an informal setting, researchers interested in all aspects of termination, whether this interest be practical or theoretical, primary or derived. The workshop also provides a ground for cross-fertilization of ideas from the different communities interested in termination (e.g., working on computational mechanisms, programming languages, software engineering, constraint solving, etc.). The friendly atmosphere enables fruitful exchanges leading to joint research and subsequent publications. The 18th International Workshop on Termination continues thes uccessful workshops held in St. Andrews (1993), La Bresse (1995), Ede(1997), Dagstuhl (1999), Utrecht (2001), Valencia (2003), Aachen (2004), Seattle (2006), Paris (2007), Leipzig (2009), Edinburgh (2010), Obergurgl (2012), Bertinoro (2013), Vienna (2014), Obergurgl (2016), and Oxford (2018), and the virtual event in 2021.

The WST 2022 program included an invited talk by René Thiemann on efficient Formalization of Simplification Orders}. WST 2022 received 7 regular submissions and 10 abstracts for tool presentations, 3 of which were accompanied by a system description. After light reviewing the program committee decided to accept allsubmissions. The 10 contributions are contained in these proceedings.

I would like to thank the program committee members for their dedication and effort, and the workshop chairs of FLoC~2022 for the invaluable help in the organization.