[TYPES/announce] FOPARA 2011, 1st CALL FOR PAPERS

Ricardo Peña ricardo at sip.ucm.es
Tue Feb 8 12:13:17 EST 2011

*                              CALL FOR PAPERS                           
*                       2nd International Workshop on                    
*  Foundational and Practical Aspects of Resource Analysis (FOPARA 2011) 
*                       May 19th 2011, Madrid, SPAIN                     
*                    http://dalila.sip.ucm.es/fopara11/                  


The 2nd International Workshop on Foundational and Practical Aspects of
Resource Analysis (FOPARA 2011) will be held at the Computer Science
Faculty of Complutense University of Madrid. It will be co-located with the
12th International Symposium Trends in Functional Programming, TFP 2011

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


FOPARA 2011 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 draft proceedings will appear as
a technical report of the Computer Science Department of Complutense
University of Madrid. The papers selected after the reviewing process will
be published as a volume of the Springer LNCS series.


Full Paper submission deadline:                 April 15, 2011
Notification of acceptance (for presentation):     April 20, 2011
Early Registration deadline:                    April 25, 2011
FOPARA workshop:                                May 19, 2011
Submission for formal review deadline:             July 8, 2011
Notification of acceptance (for LNCS):             September 16, 2011
Camera ready paper:                             October 7th, 2011

Program Committee

  . Purificacion 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)


  . Computer Science Faculty, Complutense University of Madrid
  . Spanish Ministry of Science and Innovation

Ricardo Peña
FOPARA 2011 PC Chair

Ricardo Pe~na          e-mail: ricardo at sip.ucm.es
Departamento Sistemas Informaticos y Computacion
Facultad de Informatica
C/ Profesor Jose Garcia Santesmases s/n
Universidad Complutense de Madrid, 28040 MADRID
Ph: (+ 34) 91 394 7627    FAX: (+ 34) 91 394 7529

More information about the Types-announce mailing list