# HG changeset patch
# User Christian Urban <christian dot urban at kcl dot ac dot uk>
# Date 1440461776 -28800
# Node ID 83adede4467c3d437d4986c2c4b94c43a6e4e2f1
# Parent  a05d1be9a697793b1f95f654782459c2315158a9
updated

diff -r a05d1be9a697 -r 83adede4467c booklet.pdf
Binary file booklet.pdf has changed
diff -r a05d1be9a697 -r 83adede4467c booklet.tex
--- 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\\
diff -r a05d1be9a697 -r 83adede4467c booklet4.pdf
Binary file booklet4.pdf has changed