[TYPES/announce] FOPARA 2013 - First Call for Papers

Ugo Dal Lago dallago at cs.unibo.it
Thu Mar 28 05:14:07 EDT 2013


---------------
CALL FOR PAPERS
---------------

Third International Workshop on
FOUNDATIONAL AND PRACTICAL ASPECTS OF RESOURCE ANALYSIS (FOPARA 2013)

August 29th to 31st, 2013, Bertinoro, Italy
Co-located with WST 2013
http://fopara2013.cs.unibo.it

SCOPE

The workshop will serve as a forum for presenting original research 
results that are relevant to the analysis of resource (time, space, and 
others) 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.

SUBMISSIONS

FOPARA 2013 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 draft proceedings distributed 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. All contributions must be written in 
English, conform to the Springer LNCS series format and not exceed 16 
pages. The papers selected after the reviewing process will be published 
as a volume of the Springer LNCS series (Springer’s approval is pending).

IMPORTANT DATES

The following deadlines are strict.
• Draft Submission: June 3rd, 2013;
• Notification (Draft): June 21st, 2013;
• Final Version: July 5th, 2013;
• Paper Submission: September 30th, 2013;
• Notification (Paper): December 2nd, 2013;
• Camera Ready: December 23rd, 2013.

PROGRAM COMMITTEE

Roberto Amadio, Université Denis-Diderot
Ugo Dal Lago, Università di Bologna (co-chair)
Marko van Eekelen, Radboud University Nijmegen
Marco Gaboardi Università di Bologna & UPenn
Miguel Gomez-Zamalloa, Complutense University of Madrid
Steffen Jost, LMU, Munich
Hans-Wolfgang Loidl, Heriot-Watt University, Edinburgh
Georg Moser, University of Innsbruck
Damiano Mazza, CNRS & Universit´e Paris Nord
Ricardo Pena, Complutense University of Madrid (co-chair)
Ulrich Schoepp, LMU, Munich
Pedro Vasconcelos, Universidade do Porto


More information about the Types-announce mailing list