685 \begin{column}{.5\textwidth} |
685 \begin{column}{.5\textwidth} |
686 \underline{\bf Strand 1}\medskip |
686 \underline{\bf Strand 1}\medskip |
687 \begin{itemize} |
687 \begin{itemize} |
688 \item four programming subtasks: |
688 \item four programming subtasks: |
689 \begin{itemize} |
689 \begin{itemize} |
690 \item matcher (5\%, 13.10.) |
690 \item matcher (5\%, 16.10.) |
691 \item lexer (5\%, 03.11.) |
691 \item lexer (5\%, 06.11.) |
692 \item parser (5\%, 27.11.) |
692 \item parser (5\%, 27.11.) |
693 \item compiler (10\%, 12.12.) |
693 \item compiler (10\%, 11.12.) |
694 \end{itemize} |
694 \end{itemize} |
695 \end{itemize} |
695 \end{itemize} |
696 \end{column} |
696 \end{column} |
697 |
697 |
698 \hspace{-45pt}\vrule{}\hspace{10pt} |
698 \hspace{-45pt}\vrule{}\hspace{10pt} |
699 \begin{column}{.5\textwidth} |
699 \begin{column}{.5\textwidth} |
700 \underline{\bf Strand 2}\smallskip\begin{itemize} |
700 \underline{\bf Strand 2}\smallskip\begin{itemize} |
701 \item one task: prove the correctness of a regular expression matcher in |
701 \item one task: prove the correctness of a regular expression matcher in |
702 the Isabelle theorem prover |
702 the Isabelle theorem prover |
703 \item 25\%, submission 12.12. |
703 \item 25\%, submission 11.12. |
704 \end{itemize} |
704 \end{itemize} |
705 \end{column} |
705 \end{column} |
706 \end{columns}\medskip |
706 \end{columns}\medskip |
707 |
707 |
708 \small |
708 \small |