Update after joe's talk

index.html

@@ -37,24 +37,32 @@ <h5>To join the Slack & attend future talks, or <span style="color:blue">if you
                 href="https://anchor.fm/bostoncc">Anchor</a>, and <a href="https://bstn.substack.com/">Substack</a>.
         </h5>
 
-        <h3>Next Meeting: February 16, 2024 at 5PM EST</h3>
+        <h3>Next Meeting: February 24, 2024 at 5PM EST</h3>
         <table>
             <tr>
                 <td>
-                    <img src="emojis/pencil.svg" class="icon" />
+                    <img src="emojis/telescope.svg" class="icon" />
                 <td>
-                    <u>Q&A on Verified Elections</u>, <a href="https://galois.com/team/joe-kiniry/">Joe Kiniry</a>
+                    <a href="https://github.com/acl2/acl2/blob/master/books/workshops/2023/vonhippel-etal/">Protocol Analysis using Real Analysis in ACL2</a>, <a href="https://mxvh.pl">Max von Hippel</a>
                 </td>
             </tr>
         </table>
 
         <h3>Prior Meetings</h3>
         <table>
+            <tr>
+                <td>
+                    <img src="emojis/pencil.svg" class="icon" />
+                <td>
+                    02/16/24: <u>Q&A on Verified Elections</u>, <a href="https://galois.com/team/joe-kiniry/">Joe Kiniry</a>
+                    [<a href="https://youtu.be/UPiNARRWwuo">VIDEO</a>]
+                </td>
+            </tr>
             <tr>
                 <td>
                     <img src="emojis/pilot.svg" class="icon" />
                 <td>
-                    <u>Q&A on Entrepreneurship</u>, <a href="https://vigilantaerospace.com/wp-content/uploads/2019/03/Vigilant-Aerospace-Systems-CEO-Kraettli-Epperson-Executive-Bio-Resume_2pg.pdf">Kraettli Epperson</a>
+                    1/27/24: <u>Q&A on Entrepreneurship</u>, <a href="https://vigilantaerospace.com/wp-content/uploads/2019/03/Vigilant-Aerospace-Systems-CEO-Kraettli-Epperson-Executive-Bio-Resume_2pg.pdf">Kraettli Epperson</a>
                 </td>
             </tr>
             <tr>
@@ -1243,8 +1251,6 @@ <h3>Prior Meetings</h3>
 
         <h3>Future Meetings</h3>
         <ul>
-            <!-- emojis/telescope.svg -->
-            <li><span>[02/24/24, <a href="https://github.com/acl2/acl2/blob/master/books/workshops/2023/vonhippel-etal/">Protocol Analysis using Real Analysis in ACL2</a>]</span> <a href="https://mxvh.pl">Max von Hippel</a>.</li>
             <li><span>[03/08/24, <a href="https://bitwuzla.github.io/">Bitwuzla: A New SMT Solver For Bit-Precise Reasoning</a>]</span> <a href="https://cs.stanford.edu/~preiner/">Mathias Preiner</a>.</li>
             <li><span>[03/23/24, <u>Pegasus Panel</u>]</span> <i>Anonymous Panelists</i> (ooo spooky!).</li>
             <li><span>[04/06/24, <a href="https://eprint.iacr.org/2023/57">DY Fuzzing: Formal Dolev-Yao Models Meet Cryptographic Protocol Fuzz Testing</a>]</span> <a href="https://maxammann.org/">Max Ammann</a>.</li>