4th International workshop on FOUNDATIONAL AND PRACTICAL ASPECTS OF RESOURCE ANALYSIS (FOPARA 2015)

on

4th International workshop on

FOUNDATIONAL AND PRACTICAL ASPECTS OF RESOURCE ANALYSIS (FOPARA 2015)

London, U.K., April 11, 2015 (co-located with DICE (April 12, 2015)

A satellite event of ETAPS. http://fopara.cs.ru.nl/

FOPARA2015 is supported by ICT COST Action IC1202 Timing Analysis on Code-Level (TACLe).

 

IMPORTANT DATES

Paper submission via easychair: January 23, 2015

Notification of acceptance: February 10, 2015

Informal pre-proceedings version due: March 2nd, 2015

Submission for formal peer-reviewed post proceedings: May 29, 2015

Notification (Paper): July 10, 2015

Camera Ready: September 4, 2015

 

WORKSHOP OBJECTIVES AND SCOPE

The FOPARA workshop serves as a forum for presenting original research results that are relevant 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 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-interpretations;

- practical applications of resource analysis;

- complexity analysis by term and graph rewriting.

FOPARA is organised as a bi-annual event. The first edition of the FOPARA workshop has been held in 2009 as part of Formal Methods (FM2009) at the Technical University Eindhoven, NL. The second edition was co-located with Trends in Functional Programming (TFP2011) at Complutense University in Madrd. The third FOPARA workshop was co-located with WST 2013, the 13th International Workshop on Termination, at the Bertinoro international Center for informatics in Italy:

* FOPARA 2009: Eindhoven at Formal Methods Europe, http://resourceanalysis.cs.ru.nl/fopara/

* FOPARA 2011: Madrid at Trends in Functional Programming, http://dalila.sip.ucm.es/fopara11/

* FOPARA 2013: Bertinoro at Workshop on Termination, http://fopara2013.cs.unibo.it/