Course schedule Program semantics and verification [1000-215bSWP] Winter semester 2023/24
Timetable settings
Monday
Michał Skrzypczak
12:15
Classes, group 2
every Monday, 12:15 - 14:00
Room 3240, building no. 3320
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 3240, building no. 3320
Tuesday
Wednesday
Aleksy Schubert
10:15
Classes, group 3
every Wednesday, 10:15 - 12:00
Room 3140, building no. 3320
Thursday
Ewa Madalińska-Bugaj
10:15
Classes, group 5
every Thursday, 10:15 - 12:00
Room 3160, building no. 3320
Aleksy Schubert
10:15
Classes, group 4
every Thursday, 10:15 - 12:00
Room 5820, building no. 3320
Michał Skrzypczak
10:15
Classes, group 1
every Thursday, 10:15 - 12:00
Room 3240, building no. 3320
Friday
All lectures are taking place in this building: Educational Building - Faculty of Mathematics, Informatics and Mechanics - Campus Ochota