--- a/booklet.tex	Mon Aug 24 16:44:40 2015 +0800
+++ b/booklet.tex	Tue Aug 25 08:16:16 2015 +0800
@@ -1062,7 +1062,7 @@
    \hline
    \multicolumn{1}{@{}|l|@{}}{\hspace{-1mm}\cellcolor{blue!20}20 mins coffee break}\\
    \hline
-   10:20 -- 11:10 (chair: TBD)\smallskip\\
+   10:20 -- 11:10 (chair: S.~Boulm\'e)\smallskip\\
    Z.~Paraskevopoulou \textit{et al}\\ 
    Foundational Property-Based Testing\smallskip\\
    C.~Kaliszyk, J.~Urban, J.~Vyskocil\\ 
@@ -1089,7 +1089,7 @@
    \hline
    \multicolumn{1}{@{}|l|@{}}{\hspace{-1mm}\cellcolor{blue!20}30 mins coffee break}\\
    \hline
-   16:00 -- 17:00 (chair: TBD)\smallskip\\
+   16:00 -- 17:00 (chair: G.~Malecha)\smallskip\\
    P.~Lammich\\
    Refinement to Imperative/HOL\smallskip\\
    B.~Barras, C.~Tankink, E.~Tassi\\ 
@@ -1098,7 +1098,7 @@
    \hline
    \multicolumn{1}{@{}|l|@{}}{\hspace{-1mm}\cellcolor{blue!20}short coffee break}\\
    \hline
-   17:15 -- 18:15 (chair: TBD)\smallskip\\
+   17:15 -- 18:15 (chair: M.~Moscato)\smallskip\\
    L.~Cruz-Filipe, P.~Schneider-Kamp\\
    Formalizing Size-Optimal Sorting Networks: Extracting a 
    Certified Proof Checker\smallskip\\