1/129
\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}