update AAR Newsletter

Author: jcailler

aarnewsletter.html

@@ -858,7 +858,7 @@ <h3 id="CICM2025"><a href="https://cicm-conference.org/2025">CICM 2025: 18th Con
           soliciting formal CICM submissions there will be associated workshops with
           separate submission options.
         </p>
-
+      
         <p>
           Topics of interest include (but are not restricted to):
         <ul>
@@ -867,41 +867,51 @@ <h3 id="CICM2025"><a href="https://cicm-conference.org/2025">CICM 2025: 18th Con
           <li>digital mathematical libraries</li>
         </ul>
         </p>
-
+      
         <p>
           <b>Important Dates (AoE):</b><br />
         <ul>
           <li>Abstract deadline: <b>April 28, 2025</b></li>
-          <li>Full paper deadline: May, 2025</li>
+          <li>Full paper deadline: May 5, 2025</li>
           <li>Reviews sent to authors: June 16, 2025</li>
           <li>Rebuttals due: June 20, 2025</li>
           <li>Notification of acceptance: July 4, 2025</li>
           <li>Camera-ready copies due: July 18, 2025</li>
         </ul>
         </p>
-
+      
         <h4>20th International Symposium on Logical and Semantic Frameworks, with Applications</h4>
-
+      
         <p>
-          LFSA 2025 is a satellite event of CICM 2025. LSFA is an International Symposium on Logical and Semantic
-          Frameworks with Applications launched in 2006. Logical and
+          LFSA 2025 is a satellite event of CICM 2025. LSFA is an International Symposium on Logical and Semantic Frameworks
+          with Applications launched in 2006. Logical and
           semantic frameworks are formal languages that represent logics and languages, as well as computational, AI and
           deductive
-          systems. These frameworks provide mathematical foundations for the formal specification of systems and
-          programming
+          systems. These frameworks provide mathematical foundations for the formal specification of systems and programming
           languages, supporting tool development and reasoning.
         </p>
-
+      
         <p>
-          The LSFA series is a platform that fosters collaboration, bringing together theoreticians and practitioners.
-          LSFA aims
+          The LSFA series is a platform that fosters collaboration, bringing together theoreticians and practitioners. LSFA
+          aims
           to promote techniques and results from the theoretical side, ranging from well-established ones such as lambda
           calculus
-          and type theory to state-of-the-art ones such as machine learning, and provide feedback on integrating,
-          implementing and
+          and type theory to state-of-the-art ones such as machine learning, and provide feedback on integrating, implementing
+          and
           using such methods and results from the practical side.
         </p>
-
+      
+        <p>
+          <b>Important Dates (AoE):</b><br />
+        <ul>
+          <li>Abstract deadline: <b>May 5, 2025</b></li>
+          <li>Full paper deadline: May 12, 2025</li>
+          <li>Notification of acceptance: June 27, 2025</li>
+          <li>Camera-ready copies due: July 18, 2025</li>
+        </ul>
+        </p>
+      
+      
         <p>More information is available on <a href="https://cicm-conference.org/2025">CICM 2025</a> and <a
             href="https://lsfa-workshop.github.io/2025/index.html">LSFA 2025</a> web pages.
         </p>