Misc fixes

[talk/coalgebraic-mu-calculus-cool-2.git] / vortrag.tex

diff --git a/vortrag.tex b/vortrag.tex
index 3b07c62ec4666aa43745955cf59e9226fe75886b..3b15e7b331628fe8ea4322a31ae4db3429462ca9 100644 (file)
--- a/vortrag.tex
+++ b/vortrag.tex
@@ -66,7 +66,7 @@
 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
 \begin{frame}[plain]
-\title{Alt. free $\mu$-Calculus for cool}
+\title{Alternation free $\mu$-Calculus for COOL}
 %\subtitle{A Free and Interactive Disassembler}
 \author{
        Christoph Egger\\
@@ -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}
@@ -124,14 +114,15 @@
 \section*{}
 
 \begin{frame}{Questions?}
-    \vspace*{\fill}
-    \begin{center}
-        \includegraphics[width=7cm]{images/42.pdf}
-    \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
+
+  \vspace*{\fill}
+  \begin{center}
+    \includegraphics[width=7cm]{images/42.pdf}
+  \end{center}
+  \vspace*{\fill}
+
+  git clone git://git8.cs.fau.de/cool -b afmu
+  https://static.siccegge.de/talks/cool-FAU-2016-04-26.pdf
 \end{frame}
 
 \end{document}