\begin{slide}{Termination Competition}

Termination \emph{Analyzers} are applied to Termination \emph{Problems},
results are presented on the web.
\begin{itemize} \itemsep 2pt
\item encourage research and implementation efforts
\item allow to measure progress
\item show that implementations
are mature, reliable and ready to be used in applications
\end{itemize}
Competitions since 2003, organized by Albert Rubio, Claude March\'e, Hans Zantema.

since 2008: hosted by Computational Logic Group at U Innsbruck,
chair: Aart Middeldorp
\end{slide}

