[TYPES/announce] FOPARA 2013 - Post-proceedings

[Ugo Dal Lago]

---------------------------
OPEN CALL FOR CONTRIBUTIONS
---------------------------

Third International Workshop on
FOUNDATIONAL AND PRACTICAL ASPECTS OF RESOURCE ANALYSIS (FOPARA 2013)
http://fopara2013.cs.unibo.it/

--> POST-PROCEEDINGS, TO BE PUBLISHED IN LNCS <--

SCOPE

FOPARA serves 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 took place in Bertinoro, at the end of August. Not only the 
authors of papers presented at the workshop, but all interested 
researchers, are invited to submit a paper. 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. 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. To submit a paper, please follow the link below:

https://www.easychair.org/conferences/?conf=foparapostproceeding

IMPORTANT DATES

The following deadlines are strict:
• Paper Submission: October 18th, 2013;
• Notification: December 31st, 2013;
• Camera Ready: January 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é Paris Nord
Ricardo Pena, Complutense University of Madrid (co-chair)
Ulrich Schoepp, LMU, Munich
Pedro Vasconcelos, Universidade do Porto