Updating schedule

Author: Liby99

index.html

@@ -191,14 +191,14 @@ <h2>Course Calendar</h2>
                     <td>Oct 28 (Tue)</td><td><a target="_blank" href="lectures/lecture-17.pdf">LLM for Software Security</a></td></tr>
                 <tr><td>Oct 30 (Thu)</td><td><a target="_blank" href="lectures/lecture-18.pdf">Programming Languages for Software Security</a></td></tr>
                 <tr><td rowspan="2">11</td>
-                    <td>Nov 4 (Tue)</td><td>Lecture</td></tr>
-                <tr><td>Nov 6 (Thu)</td><td>Lecture</td></tr>
+                    <td>Nov 4 (Tue)</td><td>Oral Presentations: LLM Adaptation</td></tr>
+                <tr><td>Nov 6 (Thu)</td><td>Oral Presentations: Agentic and Multi-Agent Systems</td></tr>
                 <tr><td rowspan="2">12</td>
-                    <td>Nov 11 (Tue)</td><td>Lecture</td></tr>
-                <tr><td>Nov 13 (Thu)</td><td>Lecture</td></tr>
+                    <td>Nov 11 (Tue)</td><td>Oral Presentations: LLM for Planning and Cyber-Physical Systems</td></tr>
+                <tr><td>Nov 13 (Thu)</td><td>Oral Presentations: Long-Horizon and Evolutionary Program Synthesis</td></tr>
                 <tr><td rowspan="2">13</td>
-                    <td>Nov 18 (Tue)</td><td>Lecture</td></tr>
-                <tr><td>Nov 20 (Thu)</td><td>Lecture</td></tr>
+                    <td>Nov 18 (Tue)</td><td>Oral Presentations: LLM for Software Engineering</td></tr>
+                <tr><td>Nov 20 (Thu)</td><td>Oral Presentations: LLM for Formal Logic, Math, and Theorem Proving</td></tr>
                 <tr><td rowspan="2">14</td>
                     <td>Nov 25 (Tue)</td><td>Thanksgiving (no class)</td></tr>
                 <tr><td>Nov 27 (Thu)</td><td>Thanksgiving (no class)</td></tr>