wmm23: update schedule

weakmemory · Oct 19, 2023 · 55b8fd8 · 55b8fd8
1 parent 16077af
commit 55b8fd8
Showing 1 changed file with 2 additions and 1 deletion.
diff --git a/wmm-constructor23/index.md b/wmm-constructor23/index.md
@@ -25,7 +25,8 @@ and discuss open problems in the research area.
 - 05.10: Correspondence between declarative and operational semantics SC, part 2 (Lecture)
 - 09.10: Review of homework assignments (Seminar)
 - 12.10: Atomics in C/C++ language, model checking concurrent programs with GenMC (Seminar)
-- 16.10: Correspondence between declarative and operational semantics StrongCOH, RA (Lecture)
+- 16.10: Correspondence between declarative and operational semantics: StrongCOH, RA (Lecture)
+- 19.10: Correspondence between declarative and operational semantics: StrongCOH, RA, SRA (Seminar)
 - **TBA**
 
 ### Grading System