*************************************************************************** * * 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)