FOPARA 2013 - 3RD INTERNATIONAL WORKSHOP ON FOUNDATIONAL AND PRACTICAL ASPECTS OF RESOURCE ANALYSIS

The workshop will serve as a forum for presenting original research results that are relevant to the analysis of resource (time, space, and others) consumption by computer programs. The workshop aims to bring together the researchers that work on foundational issues with the researchers that focus more on practical results. Therefore, both theoretical and practical contributions are encouraged. We also encourage papers that combine theory and practice.
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.