[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]
Call for Participation International workshop on FOUNDATIONAL AND PRACTICAL ASPECTS OF RESOURCE ANALYSIS FOPARA 2009 Eindhoven, The Netherlands November,3 2009 A satellite event of 16th International Symposium on Formal Methods http://www.aha.cs.ru.nl/fopara/ WORKSHOP OBJECTIVES AND SCOPE 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 classes, * logics closely related to complexity classes, * type systems for controlling complexity, * semantic methods to analyse resources, incl. quasi- and sup- interpretations, * 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. INVITED SPEAKER Sumit Gulwani (http://research.microsoft.com/en-us/um/people/sumitg/), Microsoft Research PROGRAM * 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 Segura) * 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 Mogbil) * 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) LOCATION 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 activities. 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.