\begin{frame}<\week> \small \begin{itemize} \item Lecture 1: \alert<1>{Introduction}, \alert<1>{Abstract Rewriting} \item Lecture 2: \alert<2>{Term Rewriting} \item Lecture 3: \alert<3>{Combinatory Logic} \item Lecture 4: \alert<4>{Termination} \item Lecture 5: \alert<5>{Matching, Unification} \item Lecture 6: \alert<6>{Equational Reasoning}, \alert<6>{Completion} \item Lecture 7: \alert<7>{Confluence} \item Lecture 8: \alert<8>{Modularity} \item Lecture 9: \alert<9>{Strategies} \item Lecture 10: \alert<10>{Decidability} \item Lecture 11: \alert<11>{Infinitary Rewriting} \end{itemize} % \begin{block}{Monday} % \smallskip % termination, completion % \end{block} % % \begin{block}{Tuesday} % \smallskip % completion, termination % \end{block} % % \begin{block}{Wednesday} % \smallskip % confluence, modularity, strategies % \end{block} % % \begin{block}{Thursday} % \smallskip % exam, advanced topics % \end{block} \end{frame}