[TYPES] CFP: SONDA 2004 (Modified by SONDA 2004)

[SONDA 2004]

This CFP might be of interest to to the TYPES community.
Among others, solicited topics include: abstract data types, term  
reduction, lambda calculus, concurrent, distributed, and mobile  
programming.
Please note that the scope ranges from very high level semantical and  
operational issues to low level algorithms and applications.

======================================================================== 
=================

			* Call for Papers *

    Workshop on Software Analysis and Development for Pervasive Systems

			    SONDA 2004

               http://www.asap.ecs.soton.ac.uk/sonda/

                August 24-28, 2004 - Verona (Italy)
                - Held in conjunction with LOPSTR, PEPM, PPDP and SAS.

SCOPE

The emergence of the PC has undoubtedly affected our lives in many  
ways. A vast
amount of research in electronics and computing has led to these  
computing devices
playing a major role in modern business, industry and consumer  
products. But
these devices are becoming considerably smaller, cheaper, and more  
abundant. In
other words, they are becoming Pervasive Systems. Nowadays, computing  
power is
a feature not only of desktop devices. Mobile phones, PDAs, and many  
electronic
gadgets currently possess enough computing power and communication  
ability to
produce a major technological shift in the way software is developed.

In the context of pervasive computing it is crucial to make efficient  
use of
computing resources. While the tendency of current Software Engineering  
is to
produce bloated systems built from libraries, Pervasive System  
developers are at
the boundary of available computing resources. Therefore, tools and  
techniques for
Pervasive Systems design have to take optimisation to its limits and  
carefully
analyse the design throughout its entire length.

The aim of this workshop is to bring together researchers from many  
areas of Hardware
or Software Engineering. We welcome not only contributions on Pervasive  
Systems
design, but also on Analysis, Verification and Optimisation at both  
high and low level
code. Topics of interest include (but are not limited to):

• Program Transformation, Partial Evaluation,
• Resource-oriented specialisation, Dynamic Power Management,
• Abstract Interpretation,
• Formal Verification, Model Checking,
• Declarative Programming, (Constraint) Logic Programming,
• Low-level code issues

With application to:

• Pervasive Environments, Ambient Intelligence,
• Embedded Systems,
• Devices with limited resources (PDAs, phones, . . . )

Authors are invited to submit their contribution electronically to  
sonda at ecs.soton.ac.uk
in PDF format. Accepted papers will be collected and the proceedings  
will be published as
a technical report from the University of Southampton, which will be  
available at the
workshop.


DATES

Deadline for submissions: May 16, 2004
Notification of acceptance: June 11, 2004
Camera-ready version due: July 9, 2004
Workshop: August 24-28, 2004


ORGANISING COMMITTEE

Mauricio Varea (contact)
Electronics and Computer Science
University of Southampton
SO17 1BJ, Southampton, UK
Tel: +44(23)8059-3123 / Fax: +44(23)8059-3045
Email: mv at ecs.soton.ac.uk

Michael Leuschel
Electronics and Computer Science
University of Southampton
SO17 1BJ, Southampton, UK
Tel: +44(23)8059-3377 / Fax: +44(23)8059-3045
Email: mal at ecs.soton.ac.uk


PROGRAMME COMMITTEE

Elvira Albert - Complutense University of Madrid, Spain.
Bart Demoen - K.U.Leuven, Belgium.
Petru Eles - Linkoping University, Sweden.
John Gallagher - Roskilde University, Denmark.
Manuel Hermenegildo - Technical University of Madrid, Spain.
Henk Muller - University of Bristol, UK.
Paul Tarau - University of North Texas, USA.

======================================================================== 
=================