[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]
(Our apologies for possible multiple copies) First Call for Papers 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. IMPORTANT DATES (ALL 2009) * Abstract deadline: July 10, * Paper submission deadline: July 15, * Notification of acceptance: September 11, * Workshop version of the papers: October 11, * Final formal paper submission: November 22. INVITED SPEAKER Sumit Gulwani (http://research.microsoft.com/en-us/um/people/sumitg/), Microsoft Research SUBMISSION AND PUBLICATION Acceptance of articles for presentation at the symposium is based on the pre-workshop refereeing of full papers (16 pages). In addition to the draft symposium proceedings, we plan to publish the revised versions of presented at the workshop papers in a volume of Springer's Lecture Notes in Computer Science. The request for a volume is pending. PROGRAM COMMITTEE * Marko van Eekelen (Radboud University and Open University, NL), PC chair * Olha Shkaravska (Radboud University, NL), PC co-chair * Patrick Baillot (ENS-Lyon, France) * Armelle Bonenfant (IRIT, France) * Ugo Dal Lago (University of Bologna, Italy) * Kevin Hammond (Univ. of St. Andrews, UK) * Martin Hofmann (LMU, Munich, Germany) * Thomas Jensen (IRISA, Rennes, France) * Tamas Kozsik (Eotvos Lorand University of Budapest, Hungary) * Hans-Wolfgang Loidl (LMU, Munich, Germany) * Kenneth MacKenzie (University of Edinburgh, UK) * Jean-Yves Marion (Loria, Nancy, France) * Greg Michaelson (Heriot-Watt University, Edinburgh, UK) * Ricardo Peñ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) 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.