Time |
Study Activity |
Name, Person |
Programme |
Course type |
Activity |
||||||||||||||||||||||||
---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
w19 | Wednesday 08.05.2024 w19 | ||||||||||||||||||||||||||||
12:00 - 14:00 | Program Verification, BSc, BSPRVER1KU, Program Verification, MSc, KSPRVER1KU | Jesper Andreas Bengtson | CS - 1st year, SWU 2nd year, SWU 3rd year | Elective | Lecture | ||||||||||||||||||||||||
14:00 - 16:00 | Program Verification, BSc, BSPRVER1KU, Program Verification, MSc, KSPRVER1KU | Jesper Andreas Bengtson | CS - 1st year, SWU 2nd year, SWU 3rd year | Elective | Exercises |