Het onderzoek is verdeeld in vier secties, die elk uit een aantal expertisegebieden bestaan:
- Sectie Information Systems (IS)
- Sectie Specification and Verification (SV)
- Sectie Software and Systems Engineering (SSE)
- Sectie Algorithms and Visualization (AV)