X-Git-Url: https://git.siccegge.de//index.cgi?p=talk%2Fcoalgebraic-mu-calculus-cool-2.git;a=blobdiff_plain;f=vortrag.tex;fp=vortrag.tex;h=24bf9b2b1eb2d204519a587879c249ebf2a94b91;hp=3b07c62ec4666aa43745955cf59e9226fe75886b;hb=edc63ce858f06a6b08536f876c7328820edd92a8;hpb=1d48022e102d8178ceed440a34825e110c46f4e0

diff --git a/vortrag.tex b/vortrag.tex
index 3b07c62..24bf9b2 100644
--- a/vortrag.tex
+++ b/vortrag.tex
@@ -89,7 +89,7 @@
 	\end{tabular}
 	\\
 	\vspace{0.6cm}
-	2016~\textendash~01~\textendash~19
+	2016~\textendash~04~\textendash~26
 }
 \titlepage
 \end{frame}
@@ -106,16 +106,6 @@
   \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}
@@ -130,8 +120,8 @@
     \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}