Výučba
Katedra počítačov a informatiky (TUKE)
Formálne jazyky
- Vyučujúci: William Steingartner
- Informačná stránka predmetu
Funkcionálne programovanie
- Vyučujúci Sergej Chodarev
- Informačná stránka predmetu
Logika pre informatikov
- Vyučujúci: Valérie Novitzká, Ján Perháč
- Informačná stránka predmetu
Sémantika programovacích jazykov
- Vyučujúci: William Steingartner, Ján Perháč
- Informačná stránka predmetu
Teória typov
- Vyučujúci: Valérie Novitzká, Ján Perháč
- Informačná stránka predmetu
Katedra informatiky (UiO)
Implementácia a formalizácia programovacích jazykov
- Vyučujúci: Michael Kirkedal Thomsen, Joachim Tilsted Kristensen, Lars Vadgaard
- Informačná stránka predmetu.