To jest stara wersja strony!
1. Logical automated reasoning, SAT, MaxSAT
2. Software engineering, Model-driven software development
3. Intelligent Environments, Ambient Intelligence, Artificial Intelligence
4. Blockchain, Java, Python