[loginf] FOPARA Workshop on Resource Analysis

Martin Hofmann hofmann at ifi.lmu.de
Tue Apr 21 11:07:26 CEST 2009


                    International Workshop on
     Foundational and Practical Aspects of Resource Analysis
                           (FOPARA '09)
                       3rd of November 2009
                   Eindhoven, The Netherlands
    A satellite event of 16th International Symposium on Formal Methods

Workshop Objectives

The workshop serves as a forum for presenting original research
results that are relevant to the analysis of resource (time, space)

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. The following list of topics
is non-exhaustive:

    * resource analysis for embedded systems,
    * logical and machine-independent characterisations of complexity
    * logics closely related to complexity classes,
    * type systems for controlling complexity,
    * semantic methods to analyse resources, incl. quasi- and
    * practical applications of resource analysis.

Important Dates

    * Abstract deadline: July 10, 2009,
    * Paper submission deadline: July 15, 2009,
    * Notification of acceptance: September 11, 2009,
    * Workshop version of the papers: October 11, 2009,
    * Final formal paper submission: November 22, 2009.


The program committee will select 10-15 papers that are to be
published first in the preliminary workshop proceedings by the 3d of
November. After the workshop we plan to publish revised versions of
the papers "formally", as a volume of Lecture Notes in Computer
Science or as a book. The request to LNCS board is pending.

Invited speaker: Sumit Gulwani, Microsoft Research

Program Committee

    * Marko van Eekelen (Radboud University and Open University, NL), PC
    * Olha Shkaravska (Radboud University, NL), PC co-chair
    * Patrick Baillot (ENS-Lyon, France)
    * Armelle Bonenfant (IRIT, France)
    * Kevin Hammond (Univ. of St. Andrews, UK)
    * Martin Hofmann (LMU, Munich, Germany)
    * Thomas Jensen (IRISA, Rennes, France)
    * Kenneth MacKenzie (University of Edinburgh, UK)
    * Tamas Kozsik (Eotvos Lorand University of Budapest, Hungary)
    * Ugo Dal Lago (University of Bologna, Italy)
    * Hans-Wolfgang Loidl (LMU, Munich, Germany)
    * Jean-Yves Marion (Loria, Nancy, France)
    * Greg Michaelson (Heriot-Watt University, Edinburgh, UK)
    * Ricardo Pen'a (University Complutense Madrid, Spain)
    * German Puebla (Politechnical University of Madrid, Spain)
    * Luca Roversi (University of Turin, Italy)
    * Phil Trinder (Heriot-Watt University, Edinburgh, UK)

More information about the loginf mailing list