Open Call for Springer LNCS

June 25th, 2011

We want to open the call for selected papers of FOPARA 2011 and invite other researchers in the area to submit papers. The results must be unpublished and not submitted for publication elsewhere. We will publish a volume of the Springer series Lecture Notes in Computer science containing both kinds of selected papers. The Program Committee of the open call will be that of FOPARA 2011.

Invited Speaker

January 15th, 2011

Reinhard Wilhelm (Universitat des Saarlandes)

Timing Analysis and Timing Predictability

I will describe our approach to compute safe and precise upper bounds on execution times for real-time programs. The required effort and the precision of the results depends strongly on the characteristics of the execution platform. Increasing the precision and reducing the effort is easy if performance is of no concern. However, the ultimate goal is to design architectures that offer a good combination of performance and predictability. I will present an overview of existing results in this research area.

Presentation

September 3rd, 2010

The 2nd International Workshop on Foundational and Practical Aspects of Resource Analysis (FOPARA ’11) will be held at the Faculty of Computer Science of Complutense University of Madrid. It is colocated with Trends in Functional Programming, TFP’11. Workshop organiser: Ricardo Peña (Computing Science Department, Complutense University of Madrid).

Workshop Objectives

The first workshop of this series FOPARA’09 was organised by the Radboud University of Nijmegen at Eindhoven (The Netherlands) on November 2009. 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.

Previously to FOPARA’09 a few similar events had taken place. In 2006, 2008 application-oriented resource analysis workshops (EmBounded Open Workshop in Budapest, 2006, and Resource Analysis Workshop in Hertfordshire, 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.