\documentclass[pdf,mpa]{prosper}

\usepackage[utf8]{inputenc}

\usepackage{xspace}
\newcommand\TTTT{%
 \textsf{T\kern-0.2em\raisebox{-0.3em}T\kern-0.2emT\kern-0.2em%
 \raisebox{-0.3em}2}\xspace%
}
\newcommand*{\TCT}{{\ensuremath \textsf{T\!\raisebox{-1mm}{C}\!T}}}
\newcommand{\CAT}{\textsf{C\kern-0.25em\raisebox{0.14em}a\kern-0.2emT}}




% \input{macros}
\input{joesFont}

\title{
  Report on the Termination Competition 2008
}
\author{
Simon Bailey (Platform), 
Frederic Blanqui (Certification),
Jürgen Giesl (LP/FP/SRS/TRS), 
Georg Moser (Complexity),
Johannes Waldmann (editor).
}
\slideCaption{Workshop on Termination, Leipzig, June 09}


\begin{document}


\maketitle

\renewcommand{\emph}[1]{{\color{blue} #1}}

\input{intro}
\input{new}
\input{data}
\input{tpdb}
\input{trs}
\input{srs}
\input{cert}
\input{fplp}
\input{complex}
\input{discuss}
\end{document}
