| Time | Monday | Tuesday | Wednesday | Thursday | Friday |
|---|---|---|---|---|---|
| 09:00 | Automated Reasoning LEC (1-10) / a, c4, i4, j4 / 144 |
||||
| 10:00 | Automated Reasoning TUT (1-10) / a, c4, i4, j4 / 144 |
||||
| 11:00 | Reasoning about Programs LEC (1-1) / c1 / 308 LEC (4-10) / c1 / 308 Reasoning About Programs LEC (4-10) / j1 / 308 |
Reasoning about Programs LEC (3-10) / c1 / 308 Reasoning About Programs LEC (3-10) / j1 / 308 |
|||
| 12:00 | Reasoning About Programs TUT (1-10) / j1 / 344 |
||||
| 13:00 | |||||
| 14:00 | Automated Reasoning LEC (1-10) / a, c4, i4, j4 / 144 |
Reasoning About Programs TUT (1-10) / c1 / 344 |
|||
| 15:00 | |||||
| 16:00 | Reasoning About Programs LEC (1-1) / j1 / 311 |
||||
| 17:00 |