the Sixth International Workshop on Termination will be held in
Valencia as part of the Federated
Conference on Rewriting, Deduction and Programming. We hope to attain
the same friendly atmosphere as in past workshops, which enabled fruitful
exchanges leading to joint research and subsequent publications.

TOPICS
This workshop 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.

Areas of interest to this workshop, include, but are not limited to,
the following:

Well-quasi-order theory

Ordinal notations

Fast/slow growing hierarchies

Strong normalization of lambda calculi

Termination of programs

Termination of rewriting

Termination of logic programs

Termination in concurrency

Ordinals and termination orderings

Hard termination problems/proofs

Termination methods for theorem provers / verification systems

Implementations of termination methods

Applications of termination methods

Apart from the presentation sessions, for the first time, the Workshop
on Termination will promote an Exhibition/Competition
of Termination Proof systems. The conditions/rules for this event will
be fixed according to the kind of systems willing to participate.

SUBMISSIONS

Abstracts Submission

Extended abstracts of papers (1-3 pages) should be submitted electronically.
Authors of accepted papers will be expected to attend and present their
paper at the workshop.

Systems Submission

A short description of the system (1-3 pages) should be submitted electronically.
Authors may be asked for details if necessary. Authors of accepted systems
will be expected to attend and participate in the exhibition/competition
at the workshop. During the workshop there will be a special session including
a presentation for each participating system.