\documentclass[a4paper]{easychair}
\usepackage[latin1]{inputenc}
\usepackage{showlabels}
\usepackage{xspace}
\newcommand\TTTT{%
 \textsf{T\kern-0.2em\raisebox{-0.3em}T\kern-0.2emT\kern-0.2em%
 \raisebox{-0.3em}2}\xspace%
}

\begin{document}

\title{
  Report on the Termination Competition 2008
}
\titlerunning{Termination Competition 2008}

\author{
Johannes Waldmann (Editor), HTWK Leipzig, Germany \\
  \url{http://www.imn.htwk-leipzig.de/~waldmann/}
}
\authorrunning{Waldmann}

\maketitle

\input{abs}

\section*{Note to WST PC}

This report is based on contributions by the community,
of which a few are still missing. I am collecting these,
and hope to have the report ready by April 25.

The report will have roughly ten pages. 
That's more than the page limit we set for extended abstracts (4 pages)
but I think it's in the community's interest
to have a full report. 

Thanks - Johannes.

\end{document}
