|AboutConferences Colloquium Workshops Practical||
9th International Workshop on Termination
Part of RDP'07
The Ninth 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), Aachen (2004), and Seattle (2006), 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 2007 Call for Papers (contains information on the termination competition)
webmaster at rdp07 dot org