Seminar: 2.01.496 Weak Memory Models - Details

Seminar: 2.01.496 Weak Memory Models - Details

You are not logged into Stud.IP.

General information

Course name Seminar: 2.01.496 Weak Memory Models
Subtitle inf496
Course number 2.01.496
Semester WiSe25/26
Current number of participants 3
expected number of participants 10
Home institute Department of Computing Science
Courses type Seminar in category Teaching
Next date Tuesday, 20.01.2026 16:00 - 18:00, Room: (A02 3-334)
Type/Form S
Lehrsprache englisch

Rooms and times

(A02 3-334)
Monday, 13.10.2025 14:00 - 16:00
Tuesday, 20.01.2026 16:00 - 18:00

Comment/Description

In this seminar, we will study different weak memory models and verification approaches for concurrent programs.