Algebra and Logic in Computer Science
Monads and their applications
Non-classical logic

Intelligent Computing
Finance
Forest products industry
Lean Analysis Production
Medical imaging

Medical and Health Informatics
Cogitamus - A management system for elderly care
IT in pharmacology
Workflows and guidelines - Decision support and ontologies