Automata theory and formal languages
Principles and semantics of programming languages
Theories of concurrency, mobility and reconfiguration
Logics and their applications
Software architectures and their models, refinement and verification
Relationship between software requirements, models and code
Static and dynamic program analysis and verification
Software specification, refinement, verification and testing
Model checking and theorem proving
Models of object and component systems
Coordination and feature interaction
Integration of theories, formal methods and tools for engineering computing systems
Service-oriented architectures: models and development methods
Models of concurrency, security, and mobility
Theories of distributed, grid and cloud computing
Real-time, embedded, hybrid and cyber-physical systems
Type and category theory in computer science
Models for e-learning and education
Case studies, theories, tools and experiments of verified systems
Domain-specific modeling and technology: examples, frameworks and practical experience
Challenges and foundations in environmental modeling and monitoring, healthcare, and disaster management.