June 28th, 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.
All contributions must be written in English, conform to the Springer LNCS series format and not exceed 16 pages. Submissions can be sent through the EasyChair website.
More details on are available as a PDF Document, and as a Plain Text File.
Important dates:
| Submission for formal review deadline (workshop + open call): |
September 5, 2011 |
| Notification of acceptance (for publication in LNCS): |
October 24, 2011 |
| Camera-Ready version deadline (for publication in LNCS): |
November 18, 2011 |
| LNCS volume publication: |
January 2012 |
Submission website is closed
May 26th, 2011
Some pictures from the event have been uploaded to the website.
Link: FOPARA 2011 Photos
May 4th, 2011
The programme for the 2nd International Workshop on Foundational and Practical Aspects of Resource Analysis is now available here.
April 18th, 2011
Extended deadline for full paper submissions: see the Important Dates section.
April 5th, 2011
The Easychair website for submitting your papers is open. More information on submissions here.
March 8th, 2011
An invited talk will be given by Prof. Reinhard Wilhelm on 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.
March 4th, 2011
Registration fees have been set. Some hotels offer special rates for FOPARA attendants. See the Accommodation Page for details.
February 10th, 2011
The Call for Papers for the FOPARA 2011 is available as a PDF Document and as a Plain Text File.
December 20th, 2010
Paper submission dates for FOPARA 2011 have been set. See the Important dates section.
September 3rd, 2010
The 2nd International Workshop on Foundational and Practical Aspects of Resource Analysis (FOPARA 2011) will be held at the Computer Science Faculty of Complutense University of Madrid. It will be co-located with the 12th Symposium on Trends in Functional Programming, TFP 2011.
Workshop organizer: 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 and others) 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. We also encourage papers that combine theory and practice.
The following list of topics is non-exhaustive:
- resource analysis for embedded or/and critical systems,
- logical and machine-independent characterizations of complexity classes,
- logics closely related to complexity classes,
- type systems for controlling/inferring/checking 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.
Submissions
FOPARA 2011 is a two-phase workshop. All participants are invited to submit a draft paper describing the work to be presented at the workshop. These submissions will be screened by the program committee chair to make sure they are within the scope of FOPARA and will appear in the draft proceedings distributed at the workshop. Submissions appearing in the draft proceedings are not peer-reviewed publications. After the workshop, authors will be given the opportunity to incorporate the feedback from discussions at the workshop and will be invited to submit a revised full article for the formal review process. These revised submissions will be reviewed by the program committee using prevailing academic standards to select the best articles that will appear in the formal proceedings.
All contributions must be written in English, conform to the Springer LNCS series format and not exceed 16 pages. The draft proceedings will appear as a technical report of the Computer Science Department of Complutense University of Madrid. The papers selected after the reviewing process will be published as a volume of the Springer LNCS series.
