Update publications and team

Author: sdemarch

assets/img/team/ag.jpg

@@ -153,7 +153,7 @@ <h6 class="card-title" style="color: #1abc9c">Examples</h6>
                         </div>
                     </div>
                 </div>
-				        <div class="col-lg-4 col-sm-6 mb-4">
+				<div class="col-lg-4 col-sm-6 mb-4">
                     <div class="card h-100">
                         <img class="card-img-top" src="./assets/img/logos/Scan_480_270.png" alt="sCan">
                         <div class="card-body">
@@ -258,11 +258,21 @@ <h2 class="page-section-heading d-inline-block text-white">Publications</h2>
                 <!-- 2024 -->
                 <li><h4 class="treeview">2024</h4>
                     <ul class="tw-nested">
-                      <li>
-                          <p class="pre-wrap lead">S. Demarchi, D. Guidotti, L. Pulina and A. Tacchella</p>
-                          <h5>NeVer2: Learning and Verification of Neural Networks <span class="badge badge-light">Preprint</span></h5>
-                          <p class="pre-wrap authors">Submitted for peer review, preprint available</p>
-                      </li>
+                        <!--<li>
+                            <p class="pre-wrap lead">S. Demarchi, E. Botoeva and A. Tacchella</p>
+                            <h5>Abstraction-Refinement for Neural Network Verification with Starsets: a Preliminary Report <span class="badge badge-secondary">Conference</span></h5>
+                            <p class="pre-wrap authors">Symposium on AI Verification</p>
+                        </li>-->
+                        <li>
+                            <p class="pre-wrap lead">S. Demarchi, A. Gimelli and A. Tacchella</p>
+                            <h5>Improving Abstract Propagation for Verification of Neural Networks <span class="badge badge-secondary">Conference</span></h5>
+                            <p class="pre-wrap authors">International ECMS Conference on Modeling and Simulation</p>
+                        </li>
+                        <li>
+                            <p class="pre-wrap lead">S. Demarchi, D. Guidotti, L. Pulina and A. Tacchella</p>
+                            <h5>NeVer2: Learning and Verification of Neural Networks <span class="badge badge-light">Preprint</span></h5>
+                            <p class="pre-wrap authors">Submitted for peer review, preprint available</p>
+                        </li>
                     </ul>
                 </li>
                 <!-- 2023 -->
@@ -350,7 +360,7 @@ <h5>Verification of Neural Networks: Enhancing Scalability through Pruning <span
                   <ul class="tw-nested">
                     <li>
                       <p class="pre-wrap lead">L. Pulina and A. Tacchella</p>
-                      <h5>Challenging SMT solvers to verifiy Neural Networks <span class="badge badge-warning">Journal</span></h5>
+                      <h5>Challenging SMT solvers to verifiy Neural Networks <span class="badge badge-warning">Article</span></h5>
                       <p class="pre-wrap authors">AI Communications</p>
                     </li>
                   </ul>
@@ -361,7 +371,7 @@ <h5>Challenging SMT solvers to verifiy Neural Networks <span class="badge badge-
                   <ul class="tw-nested">
                     <li>
                       <p class="pre-wrap lead">L. Pulina and A. Tacchella</p>
-                      <h5>NeVer: a Tool for Artificial Neural Networks Verification <span class="badge badge-warning">Journal</span></h5>
+                      <h5>NeVer: a Tool for Artificial Neural Networks Verification <span class="badge badge-warning">Article</span></h5>
                       <p class="pre-wrap authors">Annals of Mathematics and Artificial Intelligence</p>
                     </li>
                     <li>
@@ -409,14 +419,14 @@ <h4>Armando Tacchella</h4>
                         <p class="text-muted">Full Professor | UniGE</p>
                     </div>
                 </div>
-				        <div class="col-lg-4">
+				<div class="col-lg-4">
                     <div class="team-member">
                         <img class="mx-auto rounded-circle" src="assets/img/team/lp.jpg" alt="..." />
                         <h4>Luca Pulina</h4>
                         <p class="text-muted">Full Professor | UniSS</p>
                     </div>
                 </div>
-				        <div class="col-lg-4">
+				<div class="col-lg-4">
                     <div class="team-member">
                         <img class="mx-auto rounded-circle" src="assets/img/team/dg.jpg" alt="..." />
                         <h4>Dario Guidotti</h4>
@@ -430,6 +440,27 @@ <h4>Stefano Demarchi</h4>
                         <p class="text-muted">Post-Doc Researcher | UniGE</p>
                     </div>
                 </div>
+                <div class="col-lg-4">
+                    <div class="team-member">
+                        <img class="mx-auto rounded-circle" src="assets/img/team/eb.jpg" alt="..." />
+                        <h4>Elena Botoeva</h4>
+                        <p class="text-muted">Lecturer | UniKent </p>
+                    </div>
+                </div>
+                <div class="col-lg-4">
+                    <div class="team-member">
+                        <img class="mx-auto rounded-circle" src="assets/img/team/ag.jpg" alt="..." />
+                        <h4>Andrea Gimelli</h4>
+                        <p class="text-muted">Graduate Fellow | UniGE</p>
+                    </div>
+                </div>
+                <div class="col-lg-4">
+                    <div class="team-member">
+                        <img class="mx-auto rounded-circle" src="assets/img/team/kp.jpg" alt="..." />
+                        <h4>Karim Pedemonte</h4>
+                        <p class="text-muted">Graduate Software Engineer | UniGE</p>
+                    </div>
+                </div>
             </div>
             <div class="row justify-content-center">
                 <div class="col-lg-4">