[TYPES/announce] (2nd) Open Call for a Springer LNCS Volume on Resource Analysis

Ricardo Peña ricardo at sip.ucm.es
Fri Jul 22 10:31:55 EDT 2011

*    To be evaluated in conjunction with the selected papers of the 2nd 
*    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


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.


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
  * practical applications of resource analysis.


All contributions must be written in English, conform to the Springer 
LNCS series
format and not exceed 16 pages. The submission page is

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)

More information about the Types-announce mailing list