[ The Types Forum (announcements only), 
     http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]

Call for Participation
   International workshop on
   FOPARA 2009
   Eindhoven, The Netherlands
   November,3 2009
   A satellite event of 16th International Symposium on Formal Methods


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

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

Up to now a few similar events have taken place. In 2006, 2008
application-oriented resource analysis workshops ( EmBounded Open
Workshop in Budapest, 2006, and Resource Analysis Workshop in
Hertfordshir, 2008) were held as affiliated events of International
Symposium on the Implementation and Application of Functional Languages
(IFL). Participated: University of St. Andrew (UK), Heriot-Watt
University of Edinburgh (UK), Ludwig-Maximilians University of Munich
(Germany), University Complutense of Madrid (Spain), Politechnical
University of Madrid (Spain). Another large group of research schools is
presented in series of workshops on Implicit Computational Complexity,
see, for instance, WICC'08 in Paris . The series gather researchers
working in theoretical foundations of resource analysis, mainly from in
France (Universities of Paris Diderot and Paris Nord, LORIA Nancy),
Italy (Universities of Bologna and Turin), Norway, Germany and
Portugal. FOPARA aims to bringing these various directions in resource
analysis together and possibly to extend the community by other groups. 


Sumit Gulwani (http://research.microsoft.com/en-us/um/people/sumitg/),
Microsoft Research


      * 9:00 - 9:05 Greetings
      * 9:05 - 10:00 Invited Talk (incl. 10 min discussion)

10:00-10:15 Coffee 
Session 1: Abstract and Polynomial Interpretations, Data Flow 
      * 10:15 - 10:40 A Space Consumption Analysis By Abstract
        Interpretation (Manuel Montenegro, Ricardo Peña and Clara
      * 10:40 - 11:05 Polynomials over the reals are safe for
        interpretation of programs (Guillaume Bonfante, Florian Deloup
        and Antoine Henrot)
      * 11:05 - 11:30 Static Complexity Analysis of Higher Order
        Programs (James Avery, Lars Kristiansen and Jean-Yves Moyen)
      * 11:30 - 11:55 Implementing a practical polynomial programming
        language (Mike Burrell, Robin Cockett and Brian Redmond)

Lunch 12:00 - 13:20 
Session 2 Implicit Computational Complexity, PTIME 
      * 13:20-13:45 A structural and local criterion for polynomial time
        computations (Luca Roversi and Luca Vercelli)
      * 13:45-14:10 Polynomial Time Computation in the Context of
        Recursive Analysis (Walid Gomaa)
      * 14:10-14:35 Non-deterministic Boolean Proof Nets (Virgile
      * 14:35-15:00 Derivational Complexity is an Invariant Cost Model
        (Ugo Dal Lago and Simone Martini)

15:00 - 15:15 Coffee 
Session 3: Resource Analysis for varieties of programming languages 
        Session 3.1: 
      * 15:15 - 15:40 Comparing Cost Functions in Resource Analysis
        (Elvira Albert, Puri Arenas, Samir Genaim, Israel Herraiz and
        German Puebla)
      * 15:40 - 16:05 Characterising Effective Resource Analyses for
        Parallel and Distributed Coordination (Phil Trinder, Murray
        Cole, Hans-Wolfgang Loidl and Greg Michaelson)
      * 16:05 - 16:30 Global and local space properties of stream
        programs (Marco Gaboardi and Romain Pechoux) 
        ** 16:30 - 16:40 Pause ** 
        Session 3.2 
      * 16:40 - 17:05 Improvements to a Resource Analysis for Hume
        (Hans-Wolfgang Loidl and Steffen Jost)
      * 17:05 - 17:30 Compositional Analysis of Hume Box Iterations
        (Christoph Herrmann and Kevin Hammond)

The workshop is a satellite event of the 16th International Symposium on
Formal Methods, FM2009. The venue for FM2009 is the Auditorium of the
Technische  Universiteit Eindhoven. Everything related to the symposium
will take place here, including workshops, lunches, and other

Technische Universiteit Eindhoven was founded in the 1950s on a patch of
uncultivated land near the centre of town. Due to this fortunate
circumstance, the university campus is now right in the middle of the
fifth largest city in the Netherlands. This means that the railway
station, the conference hotels, and other facilities are all within
walking distance of the campus, and that during your stay you will have
easy access to everything Eindhoven  has to offer.

Reply via email to