| Time | Monday | Tuesday | Wednesday | Thursday | Friday |
|---|---|---|---|---|---|
| 0900 |
|
|
|
|
|
| 1000 |
|
|
|
|
Automated Reasoning LEC (2-10) / a5,c4,i4,j4,mres5,s5 / 144 |
| 1100 |
|
|
|
|
Automated Reasoning TUT (2-10) / a5,c4,i4,j4,mres5,s5 / 144 |
| 1200 |
|
|
|
|
|
| 1300 |
|
|
|
|
|
| 1400 |
|
|
|
|
Automated Reasoning LEC (2-10) / a5,c4,i4,j4,mres5,s5 / 144 |
| 1500 |
|
|
|
|
|
| 1600 |
|
|
|
|
|
| 1700 |
|
|
|
|
|