Bioinformatics
Dependable, Adaptive, and Trustworthy Distributed Systems
Embedded Systems
Knowledge Representation and Reasoning
Reliable Software Technologies and Communication Middleware - Cancelled
Software Verification and Testing