CFP

-------------------------------- - - - - - - -  -  -  -   -    -     -
- CALL FOR SUBMISSIONS
-------------------------------- - - - - - - -  -  -  -   -    -     -
Dear colleague,

We are pleased to announce and invite you to submit a paper to the:

WORKSHOP ON THE RELIABILITY OF INTELLIGENT ENVIRONMENTS (WORIE'11)

https://www.ugr.es/~worie/2011/

within the International Symposium on Ambient Intelligence
Salamanca, 6th-10th of April 2011
(http://isami.usal.es/) 

-------------------------------- - - - - - - -  -  -  -   -    -     -
- IMPORTANT DATES
-------------------------------- - - - - - - -  -  -  -   -    -     -
15 Nov 2010: Paper submission deadline
10 Dec 2010: Notification of acceptance
30 Dec 2010: Final version submission
07 Apr 2011: Workshops date

-------------------------------- - - - - - - -  -  -  -   -    -     -
- MOTIVATION
-------------------------------- - - - - - - -  -  -  -   -    -     -
Intelligent Environments (IE) is rising as one of the technical fields with the 
highest potential to make an impact in daily human life during the near future. 
Developments in this area are achieved by a complex juxtaposition of complex 
technical fields. Software is related to the architecture of a building, 
sensors, a network for data transportation, and different levels of users. Many 
of these elements are error prone, software is notoriously difficult and even 
companies like NASA, Microsoft, Intel, BMW which can afford powerful teams of 
experienced development teams have paid with lives, economic losses and 
reputation missing to detect software bugs within their products. Sensors are 
often unreliable, networks are sometimes unstable and users can put systems to 
the test in circumstances that were not initially foreseen. Developing these 
type of systems is therefore complex and given that some applications will be 
given the tremendous responsibility to take care of humans. Think for example on
how much interest there is on the development of systems to support independent
living. These systems are intended to give peace of mind to elderly people and
their relatives trusting that the system will be able to do many things for them
including safety related issues like detecting whether the occupant of the house
has fallen or is unwell in some way. Other examples are unmanned cars and other 
autonomous systems which are supposed to perform tasks for us which can have 
disastrous consequences should something go wrong.

Our community should develop appropriate standards and specific methodologies 
to ensure we do our outmost to deliver safe systems given the current state of 
the art. Given the specific blend of components in our area of development 
we cannot just transfer developments in other areas (although of course they 
should be taken into account to inform the process). This event will aim to 
bring together developers and researchers to focus on all aspects of the 
development process that can contribute to make Intelligent Environment systems 
safer and to provide methodologies that can increase the confidence in these 
developments. 
 
-------------------------------- - - - - - - -  -  -  -   -    -     -
- TOPICS
-------------------------------- - - - - - - -  -  -  -   -    -     -
Areas of Interest include, but are not limited to, the following:

- Testing
- Validation
- Verification of correctness
- Tools for simulation
- Elicitation of user requirements
- Human-centred design

-------------------------------- - - - - - - -  -  -  -   -    -     -
- WORKSHOP FORMAT
-------------------------------- - - - - - - -  -  -  -   -    -     -
All submissions must adhere to the same format than the main event (ISAmI'11) 
this workshop is co-located with.  Submissions have to be submitted through 
the EasyChair conference system. See more details on this from the web page 
of the workshop. All articles selected for publication will be reviewed by 
at least two reviewers with  expertise in the area.

Submissions must be made via the Conference Review System:
http://www.easychair.org/conferences/?conf=worie11

The core of the event will be the presentation of recent advances in research 
and applications followed by a debate aiming to encourage a critical reflection 
on the subject.  Presentations can also contain demos about tools and applications.

After the presentations of the selected papers a panel will focus on critical 
issues that should be addressed at both academic and professional level. The 
results of this panel can be used then by different groups to elaborate a 
summary document on achievements and prospective issues to be considered by the 
research community. Interaction will be encouraged throughout the event.

-------------------------------- - - - - - - -  -  -  -   -    -     -
- PUBLICATION
-------------------------------- - - - - - - -  -  -  -   -    -     -

All accepted papers will be published in a special volume of Advances in
Intelligent and Soft Computing (Springer), indexed by ISI Proceedings, DBLP
and Springerlink, among others.

-------------------------------- - - - - - - -  -  -  -   -    -     -
- CONTACT
-------------------------------- - - - - - - -  -  -  -   -    -     -
Dr. Juan Carlos Augusto
School of Computing and Mathematics, University of Ulster at Jordanstown 
BT37 0QB Newtownabbey, Co. Antrim, UK
Phone: +44 (0) 7766325624
web page: http://www.infj.ulst.ac.uk/~jcaug/  
email: jc.augusto@ulster.ac.uk 

Dr. Pablo A. Haya
Universidad Autonoma de Madrid 
Department of Computer Science, Room B-207
Tomas y Valiente, 11. EPS. Campus de Cantoblanco 28049 Madrid 
Phone: + 34 91 497 2267 
Fax:+ 34 91 497 2235 
web page: http://www.eps.uam.es/~phaya 
email: pablo.haya@uam.es