***************************************************************************
*
* OPEN CALL FOR A SPRINGER LNCS VOLUME ON RESOURCE ANALYSIS
*
* To be evaluated in conjunction with the selected papers of the 2nd
International
* Workshop on Foundational and Practical Aspects of Resource Analysis
(FOPARA 2011)
* May 19th 2011, Madrid, SPAIN
* http://dalila.sip.ucm.es/fopara11/
*
***************************************************************************
Resource analysis is a live research area where people from several
research
communities converge. The snd Workshop on Foundational and Practical
Aspects of
Resource Analysis (FOPARA 2011) covering many of these aspects was held
in Madrid
on May 2011. See
http://dalila.sip.ucm.es/fopara11/
for looking at the program and at the rest of details of this workshop.
We want to open the call for selected papers of FOPARA 2011 and invite
other researchers
in the area to submit papers. The results must be unpublished and not
submitted for
publication elsewhere. We will publish a volume of the Springer series
Lecture Notes
in Computer science containing both kinds of selected papers. The
Program Committee of the
open call will be that of FOPARA 2011.
Topics
------
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- and
sup-interpretations,
* practical applications of resource analysis.
Submissions
-----------
All contributions must be written in English, conform to the Springer
LNCS series
format and not exceed 16 pages. The submission page is
http://www.easychair.org/conferences/?conf=fopara2011
and it can also be accessed through the official FOPARA 2011 website. It
will remain
open from now to September 5th.
Important dates
---------------
Submission deadline: September 5th, 2011
Notification to authors: October 24th, 2011
LNCS camera ready deadline: November 18th
Expected volume publication: January 2012
Program Committee
-----------------
. Puri Arenas (Complutense University of Madrid, ES)
. David Aspinall (University of Edinburgh, UK)
. David Cachera (IRISA/École normale supérieure de Cachan, FR)
. Marko van Eekelen (Radboud University Nijmegen and Open University, NL)
. Kevin Hammond (University of St. Andrews, UK)
. Martin Hofmann (LMU, Munich, DE)
. Tamás Kozsik (Eötvös Loránd University of Budapest, HU)
. Hans-Wolfgang Loidl (Heriot-Watt, Edinburgh, UK)
. Jean-Yves Marion (Loria, Nancy, FR)
. Simone Martini (University of Bologna, IT)
. Ricardo Pe~na (PC Chair) (Complutense University of Madrid, ES)
. Simona Ronchi della Rocca (University of Turin, IT)
. Olha Shkaravska (Radboud University, NL)