Update index.md

Formal-Systems-Laboratory · Jan 16, 2024 · a5d9387 · a5d9387
1 parent 3e1c486
commit a5d9387
Showing 1 changed file with 4 additions and 0 deletions.
diff --git a/teaching/index.md b/teaching/index.md
@@ -7,6 +7,10 @@ title: Grigore Rosu's Teaching
 
 (back to [Grigore Rosu]({{site.baseurl}}/people/grigore-rosu/index.html)'s home page)
 
+## 2024
+- Spring 2024:
+  [CS522]({{site.baseurl}}/teaching/2024/cs522/) - Programming Language Semantics
+
 ## 2023
 - Fall 2023:
   [CS422]({{site.baseurl}}/teaching/2023/cs422/) - Programming Language Design