\overlays{2}{
\begin{slide}{What's new in 2008?}
  \begin{itemize}
  \item complexity analysis
  \item more emphasis on certification
  \item automated submission and test runs of provers
  \end{itemize}
\fromSlide{2}{
\emph{ongoing work (2009 \dots)}
\begin{itemize}
\item flexible query interface
\item flexible execution service
\end{itemize}
}
\end{slide}
}