Computer Science

Algebras, coalgebras and categorical structures as mathematical objects, including (co)inductive methods and modal logics
Algebraic and coalgebraic specification
Calculi and models of concurrent, distributed, mobile, and context-aware computing
Game semantics
General systems theory and computational models (chemical, biological, etc.)
Semantics of conceptual modelling methods and techniques
Semantics of programming languages

Data structures, hierarchical-memory algorithms, approximation algorithms, algorithms for dealing with uncertain data, including on-line algorithms
Applications for:
- optimising performance and energy consumption in optical and ad-hoc networks
- railroad optimisation
- scheduling
- bioinformatics
- text indexing
- representing semi-structured data
- network analysis

Usability and user experience (UX) evaluation methodologies for emergent interactive technologies
Interaction design of computer-supported collaborative work/learning (CSCW/L) environments
Digital educational games
Interoperability issues of social software
Evolution of cross-cultural online communities
Adaptive mash-up services for personal responsive learning environment
Social network analysis of computer-mediated interactions
Creativity and software quality models
Trans-sectorial transfer of design and evaluation methods and tools
Web 2.0-enhanced requirement engineering
Engineering of complex socio-technical services: formal modelling and analysis, orchestration and service-level agreements, security and trust
Interaction and context-based technologies for collaborative teams

Concepts, languages, and semantic models for large and complex software intensive systems
Architectural dimensions (coordination, distribution, context-awareness)
Collaborative systems
Embedded, hybrid, and timed systems
Formal specification, validation and verification techniques
Service-oriented systems
Composition and emergent behaviour/properties