\end{tabular}
\\
\vspace{0.6cm}
- 2016~\textendash~01~\textendash~19
+ 2016~\textendash~04~\textendash~26
}
\titlepage
\end{frame}
\tableofcontents{}
\end{frame}
-\begin{frame}{Where we left}
- \begin{itemize}
- \item actually implementing deferral tracking
- \item deciding when some deferral can be considered ``finished''
- \item \dots
- \item finding ``right'' heuristic for when to try and close the tableaux
- \item fixing all the bugs
- \end{itemize}
-\end{frame}
-
\input{chapters/finishingcool}
\input{chapters/early}
\input{chapters/optimizations}
\end{center}
\vspace*{\fill}
- Download: https://static.siccegge.de/talks/cool-FAU-2016-01-19.pdf\\
- https://git.siccegge.de/?p=talk/coalgebraic-mu-calculus-cool.git
+ Download: https://static.siccegge.de/talks/cool-FAU-2016-04-26.pdf\\
+ https://git.siccegge.de/?p=talk/coalgebraic-mu-calculus-cool-2.git
\end{frame}
\end{document}