AAR Update

Author: jcailler

aarnewsletter.html

@@ -179,8 +179,6 @@ <h1><a href="http://www.aarinc.org/">
           <ul>
             <li><a href="#CADE-30">CADE-30: 30th international Conference on Automated Deduction</a></li>
             <li><a href="#TYPES2025">TYPES 2025: 31st International Conference on Types for Proofs and Programs</a></li>
-            Warning: Heading "Call for Papers" missing id
-            Warning: Heading "Call for Workshop Proposals" missing id
             <li><a href="#SAT2025">SAT 2025: 28th International Conference on Theory and Applications of Satisfiability
                 Testing</a></li>
             <li><a href="#TbiLLC2025">TbiLLC 2025: 15th International Tbilisi Symposium on Logic, Language, and
@@ -191,8 +189,6 @@ <h1><a href="http://www.aarinc.org/">
             <li><a href="#FMCAD25">FMCAD 2025: 25th International Conference on Formal Methods in Computer-Aided
                 Design</a>
             </li>
-            Warning: Heading "20th International Symposium on Logical and Semantic Frameworks, with Applications"
-            missing id
             <li><a href="#CICM2025">CICM 2025: 18th Conference on Intelligent Computer Mathematics and LSFA 2025: 20th
                 International Symposium on Logical and Semantic Frameworks, with Applications, call for papers</a></li>
             <li><a href="#ECAI2025">ECAI-2025: 28th European Conference on Artificial Intelligence</a></li>