The Eighth International Workshop on Termination will delve into all aspects of termination of processes. It continues the sequence of successful workshops held in St. Andrews (1993), La Bresse (1995), Ede (1997), Dagstuhl (1999), Utrecht (2001), Valencia (2003), and Aachen (2004), attaining the same friendly atmosphere as those past workshops.
WST 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-fertilisation of ideas from term rewriting and from the different programming language communities.
WST 2006 will also reveal the results from the 2006 Termination Competition and includes a demonstration of termination tools.
Workshop ChairsAlfons Geser, Leipzig University of Applied Sciences, Germany
Harald Søndergaard, University of Melbourne, Australia
Program CommitteeThomas Arts, IT Universitet Göteborg, SE
Alfons Geser, HTWK Leipzig, DE
Dieter Hofbauer, Universität Kassel, DE
Claude Marché, Université Paris-Sud, FR
Andreas Podelski, Max-Planck-Institut für Informatik, DE
Henny Sipma, Stanford University, US
Harald Søndergaard, University of Melbourne, AU
Andreas Weiermann, Universiteit Utrecht, NL