From 55b8fd8e6d621d0bb1968a2cca89ce7e99cd8a35 Mon Sep 17 00:00:00 2001 From: Evgenii Moiseenko Date: Thu, 19 Oct 2023 20:37:40 +0200 Subject: [PATCH] wmm23: update schedule --- wmm-constructor23/index.md | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) diff --git a/wmm-constructor23/index.md b/wmm-constructor23/index.md index 7b27e13..9fc417f 100644 --- 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