Merge branch 'master' of github.com:camfort/camfort.github.io

camfort · Mar 16, 2017 · 1c43f1c · 1c43f1c
2 parents c0a408b + ea8fbe9
commit 1c43f1c
Show file tree

Hide file tree

Showing 2 changed files with 19 additions and 14 deletions.
diff --git a/tvcs2017/index.html b/tvcs2017/index.html
@@ -67,20 +67,21 @@ <h3>Program</h3>
             </tr>
           </thead>
           <tbody>
-            <tr><td class='time'>01: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'>02: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'>02:55 pm</td><td>Break  </td><td>                   </td><td></td></tr>
-            <tr><td class='time'>03:10 pm</td><td>Talk   </td><td>Luke Abraham       </td><td><a href="#abraham">How to do virtually everything with the Met Office Unified Model</a></td></tr>
-            <tr><td class='time'>03:35 pm</td><td>Talk   </td><td>Alessandro Abate   </td><td><a href="#abate">Sound and Automated Synthesis of Digital Controllers for Continuous Plants</a></td></tr>
-            <tr><td class='time'>04:00 pm</td><td>Talk   </td><td>Vicky Kostiou      </td><td><a href="#kostiou">Pathological behaviours of single progenitor model defy inference techniques</a></td></tr>
-            <tr><td class='time'>04:25 pm</td><td>Break  </td><td>                   </td><td></td></tr>
-            <tr><td class='time'>04:40 pm</td><td>Talk   </td><td>Wadud Miah         </td><td><a href="#miah">Verification of Fortran Codes</a></td></tr>
-            <tr><td class='time'>05:05 pm</td><td>Talk   </td><td>Mistral Contrastin </td><td><a href="#contrastin">Verifying spatial properties of stencil computations</a></td></tr>
-            <tr><td class='time'>05:30 pm</td><td>Lightning Talk  </td><td>Jonathan Pelham    </td><td>       Using JupyterHub and PySpark to explore large datasets for errors</td></tr>
-            <tr><td class='time'>05:35 pm</td><td>Lightning Talk  </td><td>Girish Nivarti     </td><td>       Direct Simulations of Turbulent Flames</td></tr>
-            <tr><td class='time'>05:40 pm</td><td>Lightning Talk  </td><td>Paul Hovland       </td><td>       ProVESA: The Program Verification for Extreme-Scale Applications Project        </td></tr>
-            <tr><td class='time'>05:45 pm</td><td>Close</td><td></td><td></td></tr>
-            <tr><td class='time'>07:00 pm</td><td>Drinks &amp; Dinner at Queens' College</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>
+            <tr><td class='time'>3:10 pm</td><td>Talk   </td><td>Luke Abraham       </td><td><a href="#abraham">How to do virtually everything with the Met Office Unified Model</a></td></tr>
+            <tr><td class='time'>3:35 pm</td><td>Talk   </td><td>Alessandro Abate   </td><td><a href="#abate">Sound and Automated Synthesis of Digital Controllers for Continuous Plants</a></td></tr>
+            <tr><td class='time'>4:00 pm</td><td>Talk   </td><td>Vicky Kostiou      </td><td><a href="#kostiou">Pathological behaviours of single progenitor model defy inference techniques</a></td></tr>
+            <tr><td class='time'>4:25 pm</td><td>Break  </td><td>                   </td><td></td></tr>
+            <tr><td class='time'>4:40 pm</td><td>Talk   </td><td>Wadud Miah         </td><td><a href="#miah">Verification of Fortran Codes</a></td></tr>
+            <tr><td class='time'>5:05 pm</td><td>Talk   </td><td>Mistral Contrastin </td><td><a href="#contrastin">Verifying spatial properties of stencil computations</a></td></tr>
+            <tr><td class='time'>5:30 pm</td><td>Lightning Talk  </td><td>Jonathan Pelham    </td><td>       Using JupyterHub and PySpark to explore large datasets for errors</td></tr>
+            <tr><td class='time'>5:35 pm</td><td>Lightning Talk  </td><td>Girish Nivarti     </td><td>       Direct Simulations of Turbulent Flames</td></tr>
+            <tr><td class='time'>5:40 pm</td><td>Lightning Talk  </td><td>Paul Hovland       </td><td>       ProVESA: The Program Verification for Extreme-Scale Applications Project        </td></tr>
+            <tr><td class='time'>5:45 pm</td><td>Close</td><td></td><td></td></tr>
+            <tr><td class='time'>7:00 pm</td><td>Drinks &amp; Dinner at Queens' College</td></tr>
           </tbody>
         </table>
 

diff --git a/tvcs2017/main.css b/tvcs2017/main.css
@@ -183,6 +183,10 @@ tr h4, td h4 {
     margin-right: 18px;
 }
 
+tr {
+ border-bottom: solid 1px #ccc; 
+}
+
 table {
     width:100%;
 }
-Original file line number
+Diff line change
@@ Expand Up / @@ -183,6 +183,10 @@ tr h4, td h4 { @@
         margin-right: 18px;
     }
+    tr {
+     border-bottom: solid 1px #ccc;
+    }
     table {
         width:100%;
     }
@@ Expand Down @@