**************** SUBMISSION DEADLINE APRIL 23, 2007
Call for Papers
Ninth International Workshop on Termination (WST 2007)
Paris, France, June 29, 2007
Affiliated with RDP 2007
Termination is a fundamental topic in computer science. Though
processes is often a strict requirement, it may be hard to establish.
results state the undecidability of various termination problems, so
research focuses on automated methods that prove termination or
non-termination in practical cases. The topic is challenging both in
(mathematical logic, proof theory) and practice (software development,
methods), and many interesting ramifications are yet to be explored.
The 9th International Workshop on Termination will delve into all
termination. It will continue the sequence of successful workshops
held in St.
Andrews (1993), La Bresse (1995), Ede (1997), Dagstuhl (1999), Utrecht
Valencia (2003), Aachen (2004), and Seattle (2006). We hope to attain
friendly atmosphere as those past workshops. The intent is to bring
an informal setting, researchers interested in various aspects of
whether this interest be practical or theoretical, primary or derived.
workshop is hoped to provide a ground for cross-fertilisation of ideas
rewriting and from programming.
Contributions from the imperative, object-oriented, constraint,
logic programming communities, and papers investigating new
termination are particularly welcome.
Extended abstracts in the prescribed format, not exceeding 4 pages,
submitted electronically through EasyChair's WST 2007 submission site
A common workshop style file is available on the WST'2007 web site.
Papers should be submitted in PostScript or PDF format. We expect
be made available through the Computing Research Repository, CoRR.
The Termination Competition:
The competition will run again in 2007, and entries are strongly
Detailed instructions for submission of problems and programs will be
available at the competition website
Nachum Dershowitz (Tel Aviv, Israel)
Daniel De Schreye (Leuven, Belgium)
Samir Genaim (Madrid, Spain)
Juergen Giesl (Aachen, Germany)
Isabelle Gnaedig (Nancy, France)
Dieter Hofbauer (Kassel, Germany), co-chair
Aart Middeldorp (Innsbruck, Austria)
Etienne Payet (La Reunion, France)
Alexander Serebrenik (Eindhoven, The Netherlands), co-chair
Termination Competition Committee
Claude Marche (Paris, France)
Johannes Waldmann (Leipzig, Germany)
Hans Zantema (Eindhoven, The Netherlands)
Workshop Themes (non-exhaustive list)
Termination of programs
Termination of rewriting
Normalization of lambda calculi
Implementation of termination methods
Challenging termination problems and proofs
Application of termination methods, e.g. to program transformation and
Comparison and classification of termination methods
Termination methods for theorem provers
Termination in distributed systems
Termination proof methods for liveness and fairness
Well-quasi-orderings and ordinal notations
Deadline for electronic submission of papers : April 23, 20