Program semantics and verification 1000-215bSWP
Classes (CW)
Winter semester 2023/24
Information on classes (common for all the groups)
Class groups
| Group | Timeframe(s) | Lecturers |
Places |
Actions |
|---|---|---|---|---|
| 1 |
every Thursday, 10:15 - 12:00,
room 3240 |
Michał Skrzypczak | 24/20 |
|
| 2 |
every Monday, 12:15 - 14:00,
room 3240 |
Michał Skrzypczak | 22/20 |
|
| 3 |
every Wednesday, 10:15 - 12:00,
room 3140 |
Aleksy Schubert | 22/20 |
|
| 4 |
every Thursday, 10:15 - 12:00,
room 5820 |
Aleksy Schubert | 19/20 |
|
| 5 |
every Thursday, 10:15 - 12:00,
room 3160 |
Ewa Madalińska-Bugaj | 17/20 |
|
| 6 |
every Monday, 16:15 - 18:00,
room 3240 |
Michał Skrzypczak | 21/20 |
|
|
All lectures are taking place in this building: Educational Building - Faculty of Mathematics, Informatics and Mechanics - Campus Ochota |
||||
Course descriptions are protected by copyright.
Copyright by University of Warsaw.
Copyright by University of Warsaw.
