Skip to content

Commit

Permalink
wmm-c23: updated lecture schedule
Browse files Browse the repository at this point in the history
  • Loading branch information
@anlun
anlun committed Oct 6, 2023
1 parent b818656 commit d409a86
Showing 1 changed file with 5 additions and 2 deletions.
7 changes: 5 additions & 2 deletions wmm-constructor23/index.md
View file
Original file line number Diff line number Diff line change
Expand Up @@ -21,8 +21,11 @@ and discuss open problems in the research area.
- 21.09: Basic operational semantics of concurrency (Seminar)
- 25.09: Basic declarative semantics of concurrency (Seminar)
- 28.09: Simplified C/C++ memory model --- Release-Acquire fragment (Lecture)
- 02.10: Correspondence between declarative and operational semantics, part 1 (Lecture)
- 05.10: Correspondence between declarative and operational semantics, part 2 (Lecture)
- 02.10: Correspondence between declarative and operational semantics SC, part 1 (Lecture)
- 05.10: Correspondence between declarative and operational semantics SC, part 2 (Lecture)
- 09.10: (Seminar)
- 12.10: (Seminar)
- 16.10: Correspondence between declarative and operational semantics StrongCOH, RA (Lecture)
- **TBA**

### Grading System
Expand Down

0 comments on commit d409a86

Please sign in to comment.