Some changes to the program

Author: barrettcw

event_centaur_2025.md

@@ -127,9 +127,9 @@ Session IV
 </tr>
 <tr>
 <td>3:00pm-3:20pm</td>
-<td>Bounded Quantifiers for Finite Relations</td>
-<td>Mudathir Mohamed</td>
-<td>PhD Student at University of Iowa</td>
+<td>Incorporating Native String Reasoning in Symbolic Execution of C Programs</td>
+<td>Rachel Cleaveland</td>
+<td>PhD Student</td>
 </tr>
 <tr>
 <td>3:20pm-3:50pm</td>
@@ -145,7 +145,7 @@ Session V
 </tr>
 <tr>
 <td>3:50pm-4:10pm</td>
-<td>Leveraging Subproblems for Improved SMT Solver Performance</td>
+<td>Per-Instance Subproblem Generation for Strategy Selection in SMT</td>
 <td>Amalee Wilson</td>
 <td>PhD Student</td>
 </tr>
@@ -157,9 +157,9 @@ Session V
 </tr>
 <tr>
 <td>4:30pm-4:50pm</td>
-<td>Incorporating Native String Reasoning in Symbolic Execution of C Programs</td>
-<td>Rachel Cleaveland</td>
-<td>PhD Student</td>
+<td>Bounded Quantifiers for Finite Relations</td>
+<td>Mudathir Mohamed</td>
+<td>PhD Student at University of Iowa</td>
 </tr>
 <tr>
 <td>4:50pm-5:00pm</td>