| Time | Monday | Tuesday | Wednesday | Thursday | Friday |
|---|---|---|---|---|---|
| 0900 |
|
|
|
|
|
| 1000 |
|
|
|
|
|
| 1100 |
|
|
|
|
|
| 1200 |
|
|
|
|
|
| 1300 |
|
|
|
|
|
| 1400 |
|
|
|
|
|
| 1500 |
Reasoning about Programs TUT (2-10) / kb (2-10),scd (2-10) / c1,j1 |
|
|
|
|
| 1600 |
Operating Systems TUT (2-10) / cristic (2-10),prp (2-10) / c2 |
|
|
|
|
| 1700 |
|
|
|
|
|