| N | Data | Time | Room | Kind | Topic |
| 1t | Tue 15/09 | 14:00-16:00 | L1 | theory | An introduction to model checking and a taste of transition systems |
| 2t | Thu 17/09 | 16:00-18:00 | L1 | theory | Transition systems for modelling parallel/communicating systems |
| 3t | Fri 18/09 | 11:00-13:00 | L1 | theory | Transition systems for modelling channel systems |
| 1e | Tue 22/09 | 14:00-16:00 | L1 | exe | First exercise sheet |