Foundational and Practical Aspects of Resource Analysis: First International Workshop, FOPARA 2009, Eindhoven, The Netherlands,

The First International Workshop on Foundational and Practical Aspects of Resource Analysis (FOPARA) was initiated to serve as a forum for presenting original research results that are relevant to the analysis of resource (time, space) consumption by computer programs. FOPARA aimed to bring together the researchers working on foundational issues with the researchers focusing more on practical results. Therefore, both theoretical and practical contributions were
encouraged. The contributions covered the following topics: resource analysis for embedded systems, logical and machine-independent characterizations of complexity classes, logics closely related to complexity classes, type systems for controlling complexity, semantic methods to analyze resources, including quasi- and sup-interpretations, practical applications of resource analysis, etc.
This first FOPARA brought two different groups of researchers together. In 2006 and 2008 informal application-oriented resource analysis workshops (an Embounded Open Workshop in Budapest, 2006, and a Resource Analysis Workshop in Hertfordshire, 2008) were held as affiliated events of the International Symposium on the Implementation and Application of Functional Languages (IFL). Participants in these workshops were the University of St. Andrew (UK), Heriot-Watt University of Edinburgh (UK), Ludwig Maximilians University of Munich (Germany), Complutense University of Madrid (Spain) and the Polytechnical University of Madrid (Spain).