\begin{abstract}
  The Termination Competition is a yearly event
  where software for proving termination automatically
  is applied to a variety of termination problems.
  The fifth Termination Competition 
  was hosted by the Computational Logic group
  at the University of Innsbruck, Austria,
  and took place in November 2008.
  We present the results of this competition,
  and some conclusions.
\end{abstract}
