Removed date col from schedule

schedule.md

@@ -8,15 +8,13 @@ permalink: /schedule/
 <thead>
   <tr>
     <th class="seqno">Week</th>
-    <th class="date">Dates</th>
     <th class="topic">Topics</th>
     <th class="reading">Reading</th>
   </tr>
 </thead>
 <tbody>
   <tr class="lecture">
     <td class="tg-baqh">1</td>
-    <td class="tg-0lax">08/23 - 8/27</td>
     <td class="tg-0lax">Introduction, Coq Basics, Functional Programming, Induction & Inductive Data Structures</td>
     <td class="tg-0lax">
         <a href="../lectures/intro.pdf">Intro Slides (PDF)</a>
@@ -27,80 +25,68 @@ permalink: /schedule/
   </tr>
   <tr class="lecture">
     <td class="tg-baqh">2</td>
-    <td class="tg-0lax">8/30 - 9/3</td>
     <td class="tg-0lax">
       Polymorphism, Higher-Order Functions, Coq Tactics
     </td>
     <td class="tg-0lax"></td>
   </tr>
   <tr class="lecture">
     <td class="tg-baqh">3</td>
-    <td class="tg-0lax">9/8 & 9/10</td>
     <td class="tg-0lax">Logic in Coq, Inductive Propositions</td>
     <td class="tg-0lax"> </td>
   </tr>
   <tr class="lecture">
     <td class="tg-baqh">4</td>
-    <td class="tg-0lax">9/13 - 9/17</td>
     <td class="tg-0lax">Inductive Propositions (Contd.), Curry-Howard Correspondence, Maps</td>
     <td class="tg-0lax"> </td>
   </tr>
   <tr class="lecture">
     <td class="tg-baqh">5</td>
-    <td class="tg-0lax">9/20 - 9/24</td>
     <td class="tg-0lax">Modeling an Imperative Language (Imp), Operational Semantics</td>
     <td class="tg-0lax"> </td>
   </tr>
   <tr class="lecture">
     <td class="tg-baqh">6</td>
-    <td class="tg-0lax">9/27 - 10/1</td>
     <td class="tg-0lax"> Basic Proof Automation, Reasoning about Imp using Hoare Logic </td>
     <td class="tg-0lax"> </td>
   </tr>
   <tr class="lecture">
     <td class="tg-baqh">7</td>
-    <td class="tg-0lax">10/4 - 10/8</td>
     <td class="tg-0lax"> Type Systems, Simply Typed Lambda Calculus (STLC)</td>
     <td class="tg-0lax"> </td>
   </tr>
   <tr class="lecture">
     <td class="tg-baqh">8</td>
-    <td class="tg-0lax">10/11 - 10/15</td>
     <td class="tg-0lax"> STLC (Contd.) </td>
     <td class="tg-0lax"> </td>
   </tr>
   <tr class="lecture">
     <td class="tg-baqh">9</td>
-    <td class="tg-0lax">10/18 - 10/22</td>
     <td class="tg-0lax"> Properties of STLC, Extensions to STLC</td>
     <td class="tg-0lax"> </td>
   </tr>
   <tr class="lecture">
     <td class="tg-baqh">10</td>
-    <td class="tg-0lax">10/25 - 10/29</td>
     <td class="tg-0lax">Extensions to STLC (Contd.), Sub-Typing</td>
     <td class="tg-0lax">
     </td>
   </tr>
   <tr class="lecture">
     <td class="tg-baqh">11</td>
-    <td class="tg-0lax">11/1 - 11/5</td>
     <td class="tg-0lax">More Proof Automation, Functional Program
     Verification</td>
     <td class="tg-0lax">
     </td>
   </tr>
   <tr class="lecture">
     <td class="tg-baqh">12</td>
-    <td class="tg-0lax">11/8 - 11/12</td>
     <td class="tg-0lax">
       Functional Program Verification (Contd.)
     </td>
     <td class="tg-0lax"></td>
   </tr>
   <tr class="lecture">
     <td class="tg-baqh">13</td>
-    <td class="tg-0lax">11/15 - 11/19</td>
     <td class="tg-0lax">
       Research Topics
     </td>