# HG changeset patch
# User Christian Urban <christian dot urban at kcl dot ac dot uk>
# Date 1439887391 -28800
# Node ID 9f5f5fc037a8d880d17e99d629a49a7b5e7a5296
# Parent  b06cd6deecf1f8c2f51bba54180416e3697d887d
updated booklet

diff -r b06cd6deecf1 -r 9f5f5fc037a8 booklet.pdf
Binary file booklet.pdf has changed
diff -r b06cd6deecf1 -r 9f5f5fc037a8 booklet.tex
--- a/booklet.tex	Tue Aug 18 15:24:17 2015 +0800
+++ b/booklet.tex	Tue Aug 18 16:43:11 2015 +0800
@@ -947,7 +947,7 @@
    \hline
    \multicolumn{1}{@{}|l|@{}}{\hspace{-1mm}\cellcolor{blue!20}20 mins coffee break}\\
    \hline
-   10:20 -- 11:10\smallskip\\
+   10:20 -- 11:10 (chair: TBD)\smallskip\\
    Z.~Paraskevopoulou \textit{et al}\\ 
    Foundational Property-Based Testing\smallskip\\
    C.~Kaliszyk, J.~Urban, J.~Vyskocil\\ 
@@ -955,7 +955,7 @@
    \hline
    \multicolumn{1}{@{}|l|@{}}{\hspace{-1mm}\cellcolor{blue!20}20 mins coffee break}\\
    \hline
-   11:30 -- 12:30\smallskip\\
+   11:30 -- 12:30 (chair: TBD)\smallskip\\
    F.~Sieczkowski, A.~Bizjak, L.~Birkedal\\ 
    ModuRes: A Coq Library for Modular Reasoning about Concurrent Higher-Order Imperative Programming 
    Languages\smallskip\\
@@ -974,7 +974,7 @@
    \hline
    \multicolumn{1}{@{}|l|@{}}{\hspace{-1mm}\cellcolor{blue!20}30 mins coffee break}\\
    \hline
-   16:00 -- 17:00\smallskip\\
+   16:00 -- 17:00 (chair: TBD)\smallskip\\
    P.~Lammich\\
    Refinement to Imperative/HOL\smallskip\\
    B.~Barras, C.~Tankink, E.~Tassi\\ 
@@ -983,7 +983,7 @@
    \hline
    \multicolumn{1}{@{}|l|@{}}{\hspace{-1mm}\cellcolor{blue!20}short coffee break}\\
    \hline
-   17:15 -- 17:45\smallskip\\
+   17:15 -- 17:45 (chair: TBD)\smallskip\\
    L.~Cruz-Filipe, P.~Schneider-Kamp\\
    Formalizing Size-Optimal Sorting Networks: Extracting a 
    Certified Proof Checker\\