CALL FOR CONTRIBUTIONS

			    Workshop on Resource Analysis
		      University of Hertfordshire, Hatfield, UK
				 9th September 2008


SCOPE:

Static  analyses for inferring  bounds on  the resource  consumption of  programs are
receiving increasing  interest in several application  areas. A resource  can be heap
space,  execution  time  or  any  other quantitative  aspect  of  program  execution.
Resource  bounds can  be used  to certify  that (embedded)  system resources  are not
exhausted, to guide reservation policies in Grid-like infrastructures, to enhance the
adaptivity  of high-performance  runtime-environments or  simply represent  a quality
seal for provably efficient  algorithms.  For inferring high-quality resource bounds,
approaches such  as type-based inference,  abstract interpretation or  model checking
can be applied.  This workshop strives to bring together researchers active in one or
more areas  of resource  analysis.  This covers,  but is  not limited to  the design,
foundations, verification, implementation, and application of resource analyses.

CONTRIBUTIONS:

Contributions are sought for in the  form of (extended) abstracts, or full papers. No
formal proceedings will be produced, but the submitted material and the slides of the
presentations    will   be   made    available   on    the   following    web   page:
  http://www.embounded.org/pubs/workshops/080909-Hertfordshire/

Contributions shall be submitted as PDF files by email to:
Hans-Wolfgang Loidl (hwloidl A_T tcs.ifi.lmu.de).

ORGANISATION:

This will be a one-day informal workshop with presentations, demos and discussion
sessions, covering various aspects of resource analysis. The workshop is planned to
start at about 10:30am and last to about 5pm, with 30 minute slots.  Registration is
done jointly with IFL08 via the following web page
  http://events.sac-home.org/ifl2008

Payment  for accommodation  and a  small  registration fee  can be  made either  when
co-registering for IFL08 or directly on-site (cash only).

ORGANISERS:

This  workshop is  organised by  the members  of the  EmBounded project.   For direct
requests please contact Hans-Wolfgang Loidl (hwloidl A_T tcs.ifi.lmu.de).

DATES:

Submission of presentations:	1st September, 2008
Co-registration (with IFL08):	2nd September, 2008
Workshop:			9th September, 2008

LINKS:

IFL08:		http://events.sac-home.org/ifl2008
EmBounded:	http://www.embounded.org/
Workshop:	http://www.embounded.org/pubs/workshops/080909-Hertfordshire/
		or
		http://www-fp.cs.st-andrews.ac.uk/embounded/pubs/workshops/080909-Hertfordshire/