International Workshop on
Foundational and Practical Aspects of Resource Analysis
(FOPARA '09)

3rd of November

Eindhoven, The Netherlands

A satellite event of 16th International Symposium on Formal Methods

Workshop organiser: Computing Science Department


Quick links:
[ Workshop Objectives | Important Dates | Submission and proceedings | Registration | Publications | Program Committee | Invited Talk | Collaborators | News/Last Minute Information | Location | Participants | Program | Hotels | Dinner | Getting Around | Organisers ]

Workshop Objectives

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:

Up to now a few similar events have taken place. In 2006, 2008 application-oriented resource analysis workshops ( EmBounded Open Workshop in Budapest, 2006, and Resource Analysis Workshop in Hertfordshir, 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.

Important Dates

Submission (LNCS-formatted pdf file, max. 16 pages)

Submission is closed


You can register for the workshop and the other FM events directly from the "FM week registration on-line"
OR read first the instructions from the "FM week registration" web-page.


The program committee will select 10-15 papers that are to be published first in the preliminary workshop proceedings by the 3d of November. After the workshop we will publish revised versions of the papers in the FOPARA volume of Lecture Notes in Computer Science. The agreement with the LNCS board is achieved.

Program Committee