update mailing list link (iu.edu); update B522 list

courses.html

@@ -12,17 +12,17 @@ <h1 class="page-heading">Courses</h1>
     <li><a href="https://iucompilercourse.github.io/IU-Fall-2023/">CSCI P423/P523: Compilers</a></li>
     <li>CSCI B522: Programming Language Foundations
       <ul>
-        <li>Spring 2023</li>
-        <li><a href="https://homes.luddy.indiana.edu/classes/spring2022/csci/b522-samth/">Spring 2022</a></li>
-        <li><a href="https://homes.luddy.indiana.edu/classes/spring2020/csci/b522-jsiek">Spring 2020</a></li>
-        <li>Spring 2018</li>
-        <li>Spring 2017</li>
-        <li><a href="https://homes.luddy.indiana.edu/classes/spring2016/csci/b522-samth/">Spring 2016</a></li>
-        <li><a href="http://homes.soic.indiana.edu/classes/spring2015/csci/b522-jsiek/">Spring 2015</a></li>
-        <li>Spring 2014</li>
-        <li><a href="http://www.cs.indiana.edu/~sabry/teaching/b522/s13/">Spring 2013</a></li>
-        <li><a href="http://www.cs.indiana.edu/~sabry/teaching/b522/s12/">Spring 2012</a></li>
-        <li><a href="http://www.cs.indiana.edu/~sabry/teaching/b522/s11/">Spring 2011</a></li>
+        <li><a href="https://www.carloangiuli.com/courses/b522-sp25/">Spring 2025 (Carlo Angiuli)</a></li>
+        <li>Spring 2023, Spring 2024 (Amr Sabry)</li>
+        <li><a href="https://homes.luddy.indiana.edu/classes/spring2022/csci/b522-samth/">Spring 2022 (Sam Tobin-Hochstadt)</a></li>
+        <li><a href="https://homes.luddy.indiana.edu/classes/spring2020/csci/b522-jsiek">Spring 2020 (Jeremy Siek)</a></li>
+        <li>Spring 2017, Spring 2018 (Amr Sabry)</li>
+        <li><a href="https://homes.luddy.indiana.edu/classes/spring2016/csci/b522-samth/">Spring 2016 (Sam Tobin-Hochstadt)</a></li>
+        <li><a href="http://homes.soic.indiana.edu/classes/spring2015/csci/b522-jsiek/">Spring 2015 (Jeremy Siek)</a></li>
+        <li>Spring 2014 (Amr Sabry)</li>
+        <li><a href="http://www.cs.indiana.edu/~sabry/teaching/b522/s13/">Spring 2013 (Amr Sabry)</a></li>
+        <li><a href="http://www.cs.indiana.edu/~sabry/teaching/b522/s12/">Spring 2012 (Amr Sabry)</a></li>
+        <li><a href="http://www.cs.indiana.edu/~sabry/teaching/b522/s11/">Spring 2011 (Amr Sabry)</a></li>
         <li>Fall 2009</li>
       </ul>
     </li>

index.html

@@ -42,7 +42,7 @@ <h2>About PL Wonks</h2>
 
   <ul>
     <li>the <a href="https://wonks.github.io/plrg/contact.html">PL Reading Group</a> mailing list and Discord</li>
-    <li><a href="https://list.indiana.edu/sympa/info/pl-wonks-l">pl-wonks-l</a>, our official mailing list</li>
+    <li><a href="https://list.iu.edu/sympa/info/pl-wonks-l">pl-wonks-l</a>, our official mailing list</li>
   </ul>
 
   <h2>Members</h2>