indicated under construction for spring 2026

klaeufer · klaeufer · commit eee4ca4cf81d · 2026-01-20T15:04:34.000-06:00
Signed-off-by: Konstantin Läufer &lt;laufer@cs.luc.edu&gt;
diff --git a/source/20-foundations.rst b/source/20-foundations.rst
@@ -4,7 +4,7 @@ Foundations in Discrete Structures
 ----------------------------------
 
 
-.. todo:: Under construction for spring 2025
+.. todo:: Under construction for spring 2026
 
 .. https://www.cmor-faculty.rice.edu/~heinken/latex/symbols.pdf
 .. https://milde.users.sourceforge.net/LUCR/Math/mathpackages/amssymb-symbols.pdf
diff --git a/source/35-specification.rst b/source/35-specification.rst
@@ -8,7 +8,7 @@ We will use Alloy, a lightweight modeling language based on relational logic, to
 We focus on modeling data structures, defining constraints, specifying operations, and reasoning about system behavior using Alloy's built-in analysis tools.
 
 
-.. note:: This chapter is in its initial stages for spring 2025 and subject to ongoing revisions!
+.. note:: This chapter is in its initial stages for spring 2026 and subject to ongoing revisions!
 
 
 More details, including additional examples, are available in the book `Formal Software Design with Alloy 6 <https://haslab.github.io/formal-software-design>`_.
diff --git a/source/40-modelchecking.rst b/source/40-modelchecking.rst
@@ -3,7 +3,7 @@
 Model Checking
 --------------
 
-.. todo:: Under construction for spring 2025
+.. todo:: Under construction for spring 2026
 
 For an overview, please review these resources:
 
diff --git a/source/50-rtverification.rst b/source/50-rtverification.rst
@@ -3,6 +3,6 @@
 Runtime Verification
 --------------------
 
-.. todo:: Under construction for spring 2025
+.. todo:: Under construction for spring 2026
 
 Meanwhile, please refer to this tutorial on `runtime verification with TeSSLa <https://tessla.io/rv-tutorial/>`_.
diff --git a/source/index.rst b/source/index.rst
@@ -12,7 +12,7 @@ You have reached the home of the Formal Methods in Software Engineering course (
 
 .. warning::
 
-   These notes are still under construction for spring 2025, so expect a few rough edges. But we're getting closer!
+   These notes are still under construction for spring 2026, so expect a few rough edges. But we're getting closer!
    Your contributions are *highly welcome!*
    Please submit `issues <https://github.com/lucformalmethodscourse/lucformalmethodscourse.github.io/issues>`_
    and `pull requests <https://github.com/lucformalmethodscourse/lucformalmethodscourse.github.io/pulls>`_.
