FOPARA 2011: Foundational and Practical Aspects of Resource Analysis 2011

May 19, 2011 in Madrid, Spain

About the Conference

The first workshop of this series FOPARA’09 was organised by the Radboud University of Nijmegen at Eindhoven (The Netherlands) on November 2009. The workshop serves as a forum for presenting original research results that are relevant to the analysis of resource (time, space) 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. The following list of topics is non-exhaustive:

  • resource analysis for embedded systems,
    • logical and machine-independent characterisations of complexity classes,
    • logics closely related to complexity classes,
    • type systems for controlling complexity,
    • semantic methods to analyse resources, incl. quasi- and sup-interpretations,
    • practical applications of resource analysis.

Previously to FOPARA’09 a few similar events had taken place. In 2006, 2008 application-oriented resource analysis workshops (EmBounded Open Workshop in Budapest, 2006, and Resource Analysis Workshop in Hertfordshire, 2008) were held as affiliated events of International Symposium on the Implementation and Application of Functional Languages (IFL). Participated: University of St. Andrew (UK), Heriot-Watt University of Edinburgh (UK), Ludwig-Maximilians University of Munich (Germany), University Complutense of Madrid (Spain), Politechnical University of Madrid (Spain). Another large group of research schools is presented in series of workshops on Implicit Computational Complexity, see, for instance, WICC’08 in Paris. The series gather researchers working in theoretical foundations of resource analysis, mainly from in France (Universities of Paris Diderot and Paris Nord, LORIA Nancy), Italy (Universities of Bologna and Turin), Norway, Germany and Portugal. FOPARA aims to bringing these various directions in resource analysis together and possibly to extend the community by other groups.

Conference Dates

Submissions: April 15, 2011
Notification: April 20, 2011
Event: May 19, 2011-May 19, 2011

Proceedings