The following list of topics is non-exhaustive:
- resource static analysis for embedded or/and critical systems
- logical and machine-independent characterisations of complexity classes
- logics closely related to complexity classes
- type systems for controlling/inferring/checking complexity
- semantic methods to analyse resources, including quasi- and sup-interpretations,
- practical applications of resource analysis;
- complexity analysis by term and graph rewriting.