Verification tools and techniques
Requirements Engineering
Natural Language Processing
Empirical Software Engineering
Human factors in Software Engineering
Formal approaches to Software Product Line Engineering
Formal modelling and verification of spatially distributed systems
Formal modelling and verification of service-oriented systems
Quantitative formal methods for Collective Adaptive Systems
Modeling and analysis of railway control systems
Formal approaches to medical image analysis
Formal modelling of business processes