Update index.html

camfort · Mar 15, 2017 · ea8fbe9 · ea8fbe9
1 parent b1e202a
commit ea8fbe9
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/tvcs2017/index.html b/tvcs2017/index.html
@@ -67,7 +67,7 @@ <h3>Program</h3>
             </tr>
           </thead>
           <tbody>
-            <tr><td class='time'>1:15 pm</td><td>Start</td><td></td></tr>
+            <tr><td class='time'>1:15 pm</td><td>Arrive</td><td></td></tr>
             <tr><td class='time'>1:30 pm</td><td>Keynote</td><td>Konrad Hinsen      </td><td><a href="#hinsen">The long road from ideas to bits and back: a traveller's guide to verifiable computational research</a></td></tr>
             <tr><td class='time'>2:30 pm</td><td>Talk   </td><td>Dan Liew           </td><td><a href="#liew">Fun with Floats: Symbolic execution of floating point programs</a></td></tr>
             <tr><td class='time'>2:55 pm</td><td>Break  </td><td>                   </td><td></td></tr>