- Výběrový seminář z distribuovaných a komponentových systémů INSWI057 | Matematicko-fyzikální fakulta
- Výběrový seminář z distribuovaných a komponentových systémů IINSWI058 | Matematicko-fyzikální fakulta
- Formalizační seminářNMAG585 | Matematicko-fyzikální fakulta
- Výpočetní logikaNMAG535 | Matematicko-fyzikální fakulta