Course schedule Program semantics and verification [1000-215bSWP] Winter semester 2021/22
Timetable settings
Monday
Andrzej Tarlecki
14:15
Lecture, group 1
every Monday, 14:15 - 16:00
Room 3180, building no. 3320
Michał Skrzypczak
16:15
Classes, group 6
every Monday, 16:15 - 18:00
Room 3130, building no. 3320
Tuesday
Radosław Waśko
10:15
Classes, group 1
every Tuesday, 10:15 - 12:00
Room 4050, building no. 3320
Wednesday
Michał Skrzypczak
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
Grzegorz Grudziński
10:15
Classes, group 5
every Thursday, 10:15 - 12:00
Room 3160, building no. 3320
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