[clean-list] CfC: Workshop on Resource Analysis

[Hans-Wolfgang Loidl]

[ apologies for multiple copies -- HWL ]


			       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.   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:

Co-registration with IFL08:	25th August, 2008
Submission of presentations:	1st September, 2008
Workshop:			9th September, 2008

LINKS:

IFL08:		http://events.sac-home.org/ifl2008
EmBounded:	http://www.embounded.org/


Cheers,
--
  Hans-Wolfgang Loidl

Tel: +4989 21809864 Fax: +4989 21809338 E-Mail: hwloidl at tcs.ifi.lmu.de

Ludwig-Maximilians-Universität München,
Institut für Informatik (Theoretische Informatik)
Oettingenstraße 67
D 80538  München, Germany                                 




-------------- next part --------------
A non-text attachment was scrubbed...
Name: signature.asc
Type: application/pgp-signature
Size: 189 bytes
Desc: not available
Url : http://mailman.science.ru.nl/pipermail/clean-list/attachments/20080806/8e85efe0/signature.bin