--- a/slides/slides09.tex	Sat Oct 22 13:11:33 2016 +0100
+++ b/slides/slides09.tex	Sat Oct 22 15:18:11 2016 +0100
@@ -34,7 +34,7 @@
 \lstset{morekeywords={def,if,then,else,write,read},keywordstyle=\color{codepurple}\bfseries}
 
 % beamer stuff
-\renewcommand{\slidecaption}{AFL 09, King's College London}
+\renewcommand{\slidecaption}{CFL 09, King's College London}
 \newcommand{\bl}[1]{\textcolor{blue}{#1}}       
 
 
@@ -45,7 +45,7 @@
 \frametitle{%
   \begin{tabular}{@ {}c@ {}}
   \\[-3mm]
-  \LARGE Automata and \\[-2mm] 
+  \LARGE Compilers and \\[-2mm] 
   \LARGE Formal Languages (9)\\[3mm] 
   \end{tabular}}