About Conferences Colloquium Workshops Practical

WST 2007

9th International Workshop on Termination

Friday, June 29, 2007, Paris
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.

Program Committee

Nachum Dershowitz (Tel Aviv, Israel)
Daniel De Schreye (Leuven, Belgium)
Samir Genaim (Madrid, Spain)
Jürgen Giesl (Aachen, Germany)
Isabelle Gnaedig (Nancy, France)
Dieter Hofbauer (Kassel, Germany), co-chair
Aart Middeldorp (Innsbruck, Austria)
Étienne Payet (La Réunion, France)
Alexander Serebrenik (Eindhoven, The Netherlands), co-chair

[WST 2007 Call for Papers (contains information on the termination competition)

webmaster at rdp07 dot org