B / Event-B / Sicherheitskritische Systeme

Logische Programmierung

Künstliche Intelligenz und Machine Learning

Compilerbau

Misc.