\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}