FOPARA 2015 - 4th FOundational and Practical Aspects of Resource Analysis (FOPARA)

The FOPARA workshop will serve as a forum for presenting original research results that are rel- evant to the analysis of resource (e.g. time, space, energy) 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 con- tributions 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-interpretations;
practical applications of resource analysis;
complexity analysis by term and graph rewriting.
Organisers: Marko van Eekelen, Radboud University Nijmegen and Open University of the Netherlands (marko.vaneekelen-AT-cs.ru.nl)
FOPARA 2015 is a two-phase workshop. All participants are invited to submit a draft paper describing the work to be presented at the workshop. These submissions will be screened by the program committee chair to make sure they are within the scope of FOPARA and will appear in the informal pre-proceedings at the workshop. Submissions appearing in the draft proceedings are not peer-reviewed publications.
After the workshop, authors will be given the opportunity to incorporate the feedback from discussions at the workshop and will be invited to submit a revised full article for the formal review process. These revised submissions will be reviewed by the program committee using prevailing academic standards to select the best articles that will appear in the formal proceedings. The papers selected after the reviewing process will be published as a volume of the Springer LNCS series. The 2013 FOPARA LNCS proceedings volume is still in preparation. The 2009, 2011, 2013 FOPARA proceeding are published as LNCS Volumes 6324, 7177, 8552 (see e.g. DBLP: http://www.informatik.uni-trier.de/ ley/db/conf/fopara/index.html). LNCS is also the expected publication venue for Fopara 2015.