Course schedule Program semantics and verification [1000-215bSWP] Winter semester 2020/21
Timetable settings
Monday
Grzegorz Grudziński
12:15
Classes, group 5
every Monday, 12:15 - 14:00
Room 5060, building no. 3320
Bartosz Klin
14:15
Lecture, group 1
every Monday, 14:15 - 16:00
Room 3180, building no. 3320
Tomasz Gogacz
16:15
Classes, group 6
every Monday, 16:15 - 18:00
Room 3130, building no. 3320
Tuesday
Ewa Madalińska-Bugaj
10:15
Classes, group 1
every Tuesday, 10:15 - 12:00
Room 4050, building no. 3320
Wednesday
Lorenzo Clemente
10:15
Classes, group 3
every Wednesday, 10:15 - 12:00
Room 3140, building no. 3320
Ewa Madalińska-Bugaj
10:15
Classes, group 2
every Wednesday, 10:15 - 12:00
Room 2100, building no. 3320
Thursday
Julian Salamanca Tellez
10:15
Classes, group 4
every Thursday, 10:15 - 12:00
Room 2270, building no. 3320
Friday
All lectures are taking place in this building: Educational Building - Faculty of Mathematics, Informatics and Mechanics - Campus Ochota