London, U.K., April 11, 2015 (co-located with DICE on April 12, 2015)
A satellite event of ETAPS. FOPARA2015 is supported by ICT COST Action IC1202 Timing Analysis on Code-Level (TACLe).
FOPARA-DICE 2015 pdf programmes at ETAPS2015, co-located with DICE, so both a Saturday FOPARA-DICE Programme and a Sunday DICE-FOPARA Programme.
Local, informal preproceedings of FOPARA2015 are available via the ETAPS workshop preproceedings pages.
Submission via easychair for formal peer-reviewed post proceedings (this is an open call!): May 29, 2015 (page limit increased to 20 pages)
July 10, 2015 delayed until August 27, 2015
September 4, 2015 changed in October 30, 2015
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:
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 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, via an open call both participants and other prospective authors will be given the opportunity to to submit a (revised) full article for the formal review process. These 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 2009, 2011 and 2013 FOPARA proceedings are published as LNCS Volumes 6324, 7177 and 8552 (see e.g. the FOPARA DBLP page).
FOPARA2015 will be co-located with the Sixth International workshop on Developments in Implicit Computational complExity (DICE) chaired by Marco Gaboardi.
The colocation will be an occasion to strengthen the interactions between the community working on implicit computational complexity and the one working on resource analysis. The lecture room will be shared in order to have the possibility of organizing joint sessions.
We plan to have 2 invited talks, one jointly with DICE. The invited talks would be 1-hour long and the contributed ones 30 minutes.
Registration, accomodation and Travel: Please follow the information at the ETAPS 2015 website.