--- a/booklet.tex	Thu Aug 20 08:49:35 2015 +0800
+++ b/booklet.tex	Thu Aug 20 08:59:34 2015 +0800
@@ -942,7 +942,7 @@
   Validating Dominator Trees for a Fast, Verified Dominance 
   Test\smallskip\\
   A.~Lochbihler, A.~Maximova\\
-  Stream Fusion for Isabelle’s Code Generator (Rough 
+  Stream Fusion for Isabelle'{}s Code Generator (Rough 
   Diamond)\\
   \hline
   \multicolumn{1}{@{}|l|@{}}{\hspace{-1mm}\cellcolor{blue!20}20 mins coffee break}\\