Fifth International Workshop on Termination (WST '0l)

Abstract

After the successful international workshops on termination held in St. Andrews (1993), La Bresse (1995), Ede (1997), and Dagstuhl (1999) a fifth workshop was held in Utrecht, on the campus of Universiteit Utrecht, in conjunction with the Twelfth International Conference on Rewriting Techniques and Applications. (RTA 2001) and the Fourth International Workshop on Explicit Substitutions: Theory and Applications to Programs and Proofs (WESTAPP 2001). This series of workshops delves into all aspects of termination of processes. Though, the halting of computer programs, for example, is undecidable, methods of establishing termination play a fundamental role in many applications and the challenges are both practical and theoretical. From a practical point of view, proving termination is a central problem in software development and formal methods for termination analysis are essential for program verification. From a theoretical point of view, termination is central in mathematical logic and ordinal theory.