31/369
\begin{frame}
  \small
  
  \begin{block}{Termination Research}
  \begin{center}
  \begin{tikzpicture}
  \alt<2->{
  \node[rotate=0] (tool) at (0,0)
   {\includegraphics[width=6cm,height=5cm]{../graphics/machine}};
  }{
  \node[rotate=0] (tool) at (0,0)
   {\includegraphics[width=6cm,height=5cm]{../graphics/researcher}};
  }
  \end{tikzpicture}
  \end{center}
  \end{block}
  
  \smallskip
  
  \begin{block}<2->{Termination Tools}\strut
  %\href{http://colo6-c703.uibk.ac.at/ttt/cgi-bin/index.cgi}{\TTT},
  \href{http://aprove.informatik.rwth-aachen.de/}{AProVE},
  \href{http://cariboo.loria.fr/}{Cariboo},
  \href{http://cime.lri.fr/}{CiME},
  \href{http://joerg.endrullis.de/}{Jambox},
  \href{http://www-lsi.upc.es/~albert/term.html}{Termptation},
  \href{http://dfa.imn.htwk-leipzig.de/matchbox/}{Matchbox},
  \href{http://zenon.dsic.upv.es/muterm/}{MuTerm},
  \href{http://personnel.univ-reunion.fr/epayet/Research/NTI/NTI.html}{NTI},
  \href{http://www.win.tue.nl/~hzantema/torpa.html}{Torpa},
  %\href{http://www.win.tue.nl/~hzantema/torpa.html}{Teparla},
  \href{http://www.win.tue.nl/tpa/}{TPA},
  %MultumNonMulta,
  %\href{http://cl-informatik.uibk.ac.at/~mkorp/research/tttbox.php}%
  %{\TTT{}box},
  \href{http://cl-informatik.uibk.ac.at/software/ttt2/}{\TTTT},
  %\href{http://cl-informatik.uibk.ac.at/software/tct/}{TCT},
  %\href{http://cl-informatik.uibk.ac.at/software/cat/}{CaT},
  %\href{http://dfa.imn.htwk-leipzig.de/nonloop/}{Nonloop},
  %\href{http://www.win.tue.nl/~mraffels/trafo.html}{TrafO},
  \href{http://www.logic.at/vmtl/}{VMTL}, \dots
  \end{block}
  
  \transdissolve<2>[duration=.5]
\end{frame}