EXTENDED DEADLINE: February 21, 2005!!! [we apologize for multiple copies]
========================================================================
* Call for Papers *
INTERNATIONAL WORKSHOP ON SOFTWARE TECHNIQUES FOR EMBEDDED AND PERVASIVE SYSTEMS
STEPS 2005
http://www.asap.ecs.soton.ac.uk/steps/
May 11, 2005 - Munich (Germany) - Held in conjunction with "Pervasive 2005".
ABOUT THE WORKSHOP
The aim of this workshop is to bring together researchers from many areas of Hardware and Software Engineering. As modern business, industry and consumer products are being overwhelmed with smarter, cheaper and more ubiquitous computing devices, attention to computing power is shifting from traditional workstations to mobile phones, PDAs, and many electronic gadgets. However, the current limitations that constrain these devices are centered around the software development process. 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 well-modularized systems built from large libraries, these systems tend to become rapidly bloated.
Pervasive System developers work on the boundary of available computing resources. Thus, tools and techniques for Pervasive Systems design have to take optimization to its limits, integrate them with effective analysis techniques, and systematically produce efficient software that still performs satisfactorily on such platforms. We welcome not only contributions on Pervasive Systems design, but also on Analysis, Verification and Optimization at both high and low level code. Topics of interest include (but are not limited to):
- Software Engineering. - Resource-oriented specialization, Dynamic Power Management, etc. - Abstract Interpretation, Program Transformation, Partial Evaluation, etc. - Declarative Programming, (Constraint) Logic Programming, etc. - Formal Verification, Model Checking, etc. - Low-level code issues
With application to:
- Pervasive Systems, Ambient Intelligence, etc. - Embedded Systems - Devices with limited resources (PDAs, phones, etc.)
SCHEDULE
Submission of Papers: February 21, 2005 Notification to Authors: March 8, 2005 Camera-ready version: April 24, 2005
ORGANIZING COMMITTEE
Mauricio Varea University of Southampton, United Kingdom Luis A. Cortés Linköping University, Sweden
PROGRAMME COMMITTEE
E. Albert (UCM, Spain) J. C. Augusto (U. Ulster, UK) B. Demoen (K.U. Leuven, Belgium) P. Eles (Linköping, Sweden) J. Gallagher (Roskilde, Denmark) M. Hermenegildo (UNM, USA) P. Kollig (Phillips, UK) M. Leuschel (Düsseldorf, Germany) H. Muller (Bristol, UK) G. Puebla (UPM, Spain) V. Sassone (Sussex, UK) M. Schmitz (Southampton, UK) P. Tarau (North Texas, USA)
========================================================================
============================================================================== Message: Address: Action: help majordomo(a)clip.dia.fi.upm.es Info. on useful commands subscribe ciao-users-request(a)clip.dia.fi.upm.es Subscribe to this list unsubscribe ciao-users-request(a)clip.dia.fi.upm.es Unsubscribe from this list <whatever> ciao-users(a)clip.dia.fi.upm.es Send message to list ----------------------------------------------------------------------------- Archived messages: http://www.clip.dia.fi.upm.es/Mail/ciao-users/ -----------------------------------------------------------------------------