• Algebraic and Categorical Structures and Methods
• Algorithm Design, Analysis and Engineering
• Computational Complexity of Algebraic Structures
• Deduction, Rewriting and Transformation
• Interaction Design and Evaluation of Socio-technical Systems
• Models of Software Intensive Systems
• Optimisation and Heuristics
• Software Evolution

Algebraic and Categorical Structures and Methods

Topics:

Algebras, coalgebras and categorical structures as mathematical objects, including (co)inductive methods and modal logics. Applications in computer science: 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; Validation and verification.

People:

R Crole, F-J de Vries, J L Fiadeiro, R Heckel, A Kurz, A Murawski

Algorithm Design, Analysis and Engineering

Topics:

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

People:

T Erlebach, S Fung, M Hoffmann, R Raman, I Razgon

Computational Complexity of Algebraic Structures

Topics:

Formal language theory and computational complexity. Algorithmic problems in algebraic structures. Algorithm development. Undecidability results. Automata on infinite objects. Automatic groups and semigroups. Biautomaticity. Hyperbolic groups and semigroups. FA-presentable structures. Syntactic monoids. Word problems of groups and semigroups. Reduced and irreducible word problems. String rewriting systems.

People:

M Hoffmann, A Murawski, N Piterman, R Thomas

Deduction, Rewriting and Transformation

Topics:

Graph transformations; Term rewriting; Theorem proving; Stochastic approaches. Rewriting of bio-structures. Operational semantics of concurrency and programming languages.

People:

R Crole, F-J de Vries, R Heckel, A Murawski, T Ridge, E Tuosto, I Ulidowski

Interaction Design and Evaluation of Socio-technical Systems

Topics:

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; Web2.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.

People:

R Chitchyan, J L Fiadeiro, E Law, S Reiff-Marganiec

Models of Software Intensive Systems

Topics:

Concepts, languages, and semantic models for large and complex software intensive systems. In particular: 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.

People:

L Bocchi, R Chitchyan,J L Fiadeiro, R Heckel, Y Hong, A Murawski, N Piterman, S Reiff-Marganiec, T Ridge, E Tuosto, I Ulidowski, N Walkinshaw

Optimisation and Heuristics

Topics:

Combinatorial optimisation; scheduling; resource allocation; routing; network design and optimisation; approximation algorithms; meta-heuristics; competent genetic and evolutionary algorithms; evolutionary algorithms for dynamic optimisation; artificial neural networks for optimisation; hybrid intelligent systems; online algorithms and competitive analysis.

People:

T Erlebach, S Fung, I Razgon

Software Evolution

Topics:

Meta-modelling; Model-driven architecture/development; Re-engineering of legacy systems; Aspect discovery and refactoring; Software process engineering; System families. Incremental development; Features and Aspects: policy-driven, ad-hoc composition.

People:

A Boronat, R Chitchyan,R Heckel, S Reiff-Marganiec, E Tuosto, N Walkinshaw