Course Schedule - Spring 2022 | |||||||||||||||||||||||||||||
Time |
Name, Person |
Room |
Programme |
Course type |
Activity |
||||||||||||||||||||||||
|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
| Program Verification, BSc, BSPRVER1KU, Program Verification, MSc, KSPRVER1KU | |||||||||||||||||||||||||||||
| w19 | Wednesday 11.05.2022 w19 | ||||||||||||||||||||||||||||
| 14:00 - 16:00 | Jesper Andreas Bengtson, Willard Rafnsson | 5A60 | CS - 1st year, SWU 2nd year, SWU 3rd year | Elective | Lecture | ||||||||||||||||||||||||
| 16:00 - 18:00 | Jesper Andreas Bengtson, Willard Rafnsson | 5A60 | CS - 1st year, SWU 2nd year, SWU 3rd year | Elective | Exercises | ||||||||||||||||||||||||
Support