--- 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\\