Update index.md

index.md

@@ -44,8 +44,8 @@ We ask that all who are planning to attend the event register in advance so that
 <tr><td>3:35-3:40pm</td><td>Minsung Cho</td><td>Free Dice: Weighted Model Counting via Effects</td></tr>
 <tr><td>3:45-4:00pm</td><td>Max Bernstein</td><td>Intro to ML compilers</td></tr>
 <tr><td>4:05-4:20pm</td><td>Andrew Walter</td><td>Witness-Generating Data Types</td></tr>
-<tr><td>4:25-4:45pm</td><td>TBD</td><td>Panel: Software Research</td></tr>
-<tr><td>4:45-5:00pm</td><td>TBD</td><td>Closing Remarks</td></tr>
+<tr><td>4:25-4:55pm</td><td>TBD</td><td>Panel: Software Research</td></tr>
+<tr><td>4:55-5:00pm</td><td>TBD</td><td>Closing Remarks</td></tr>
 <tr class="break"><td class="break">6:00-8:00pm</td><td colspan="2" class="break">Social Event at Lucky Strike</td></tr>
 </table>