Time |
Study Activity |
Name, Person |
Room |
Programme |
Activity |
||||||||||||||||||||||||
|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
| w17 | Wed 24.04.2024 w17 | ||||||||||||||||||||||||||||
| 12:00 - 14:00 | Program Verification, BSc, BSPRVER1KU, Program Verification, MSc, KSPRVER1KU | Jesper Andreas Bengtson | 2F14 | CS - 1st year, SWU 2nd year, SWU 3rd year | Lecture | ||||||||||||||||||||||||
| 14:00 - 16:00 | Program Verification, BSc, BSPRVER1KU, Program Verification, MSc, KSPRVER1KU | Jesper Andreas Bengtson | 2F14 | CS - 1st year, SWU 2nd year, SWU 3rd year | Exercises | ||||||||||||||||||||||||
Support