Add title for Rachel's talk

Author: barrettcw

event_centaur_2025.md

@@ -156,7 +156,7 @@ Session V
 </tr>
 <tr>
 <td>4:30pm-4:50pm</td>
-<td></td>
+<td>Incorporating Native String Reasoning in Symbolic Execution of C Programs</td>
 <td>Rachel Cleaveland</td>
 <td>PhD Student</td>
 </tr>