updates

index.html

@@ -65,6 +65,7 @@ <h2 id="news">News</h2>
         <li>1/2024: NeuralSAT received the <b>New Commer Award</b> at VNN-COMP'23. It also won the <code>tllverifybench</code> category (👏 Hai and Linhan)</li>
 
         <li>1/2024: <b>Huong</b> joined as a undergraduate researcher</li>
+        <li>11/2023: 🎉 Thanksgiving party!!!</li>
         <li>8/2023: <a href="https://github.com/dynaroars/neuralsat">NeuralSAT</a> <b>ranked 4th</b> overall in the annual Verifying Neural Network competition <a href="https://sites.google.com/view/vnn2023">VNN-COMP'23</a> (our first participation, 👏 Hai and Linhan)</li>
         <li>8/2023: <b>FSE SRC</b> (Student Research Competition) paper on dynamic complexity analysis (👏 Didier)</li>
         <li>8/2023: <b>FSE'23</b> Industry paper on fault localization</li>