--- a/slides/slides08.tex	Sat Oct 22 13:11:33 2016 +0100
+++ b/slides/slides08.tex	Sat Oct 22 15:18:11 2016 +0100
@@ -5,7 +5,7 @@
 \usepackage{../graphics}
 
 % beamer stuff 
-\renewcommand{\slidecaption}{AFL 07, King's College London}
+\renewcommand{\slidecaption}{CFL 07, King's College London}
 \newcommand{\bl}[1]{\textcolor{blue}{#1}}       
 
 \begin{document}
@@ -15,7 +15,7 @@
 \frametitle{%
   \begin{tabular}{@ {}c@ {}}
   \\[-3mm]
-  \LARGE Automata and \\[-2mm] 
+  \LARGE Compilers and \\[-2mm] 
   \LARGE Formal Languages (8)\\[3mm] 
   \end{tabular}}