Course Schedule - Spring 2022

Program Verification, BSc, BSPRVER1KU
Time
Name, Person
Room
Programme
Course type
Activity
Program Verification, BSc, BSPRVER1KU, Program Verification, MSc, KSPRVER1KU 
w5 Wednesday 2 Feb w5
14:00 - 16:00 Jesper Andreas Bengtson, Willard Rafnsson 2A20 CS - 1st year, SWU 2nd year, SWU 3rd year Elective Lecture
16:00 - 18:00 Jesper Andreas Bengtson, Willard Rafnsson 2A20 CS - 1st year, SWU 2nd year, SWU 3rd year Elective Exercises
w6 Wednesday 9 Feb w6
14:00 - 16:00 Jesper Andreas Bengtson, Willard Rafnsson 2A20 CS - 1st year, SWU 2nd year, SWU 3rd year Elective Lecture
16:00 - 18:00 Jesper Andreas Bengtson, Willard Rafnsson 2A20 CS - 1st year, SWU 2nd year, SWU 3rd year Elective Exercises
w7 Wednesday 16 Feb w7
14:00 - 16:00 Jesper Andreas Bengtson, Willard Rafnsson 2A20 CS - 1st year, SWU 2nd year, SWU 3rd year Elective Lecture
16:00 - 18:00 Jesper Andreas Bengtson, Willard Rafnsson 2A20 CS - 1st year, SWU 2nd year, SWU 3rd year Elective Exercises
w8 Wednesday 23 Feb w8
14:00 - 16:00 Jesper Andreas Bengtson, Willard Rafnsson 2A20 CS - 1st year, SWU 2nd year, SWU 3rd year Elective Lecture
16:00 - 18:00 Jesper Andreas Bengtson, Willard Rafnsson 2A20 CS - 1st year, SWU 2nd year, SWU 3rd year Elective Exercises
w9 Wednesday 2 Mar w9
14:00 - 16:00 Jesper Andreas Bengtson, Willard Rafnsson 2F16 CS - 1st year, SWU 2nd year, SWU 3rd year Elective Lecture
16:00 - 18:00 Jesper Andreas Bengtson, Willard Rafnsson 2F16 CS - 1st year, SWU 2nd year, SWU 3rd year Elective Exercises
w10 Wednesday 9 Mar w10
14:00 - 16:00 Jesper Andreas Bengtson, Willard Rafnsson 2F14 CS - 1st year, SWU 2nd year, SWU 3rd year Elective Lecture
16:00 - 18:00 Jesper Andreas Bengtson, Willard Rafnsson 2F14 CS - 1st year, SWU 2nd year, SWU 3rd year Elective Exercises
w11 Wednesday 16 Mar w11
14:00 - 16:00 Jesper Andreas Bengtson, Willard Rafnsson 4A58 CS - 1st year, SWU 2nd year, SWU 3rd year Elective Lecture
16:00 - 18:00 Jesper Andreas Bengtson, Willard Rafnsson 4A56 CS - 1st year, SWU 2nd year, SWU 3rd year Elective Exercises
w12 Wednesday 23 Mar w12
14:00 - 16:00 Jesper Andreas Bengtson, Willard Rafnsson 4A58 CS - 1st year, SWU 2nd year, SWU 3rd year Elective Lecture
16:00 - 18:00 Jesper Andreas Bengtson, Willard Rafnsson 4A56 CS - 1st year, SWU 2nd year, SWU 3rd year Elective Exercises
w13 Wednesday 30 Mar w13
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
w14 Wednesday 6 Apr w14
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
w16 Wednesday 20 Apr w16
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
w17 Wednesday 27 Apr w17
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
w18 Wednesday 4 May w18
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
w19 Wednesday 11 May 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