posted by organizer: mihorba || 1965 views || tracked by 3 users: [display]

WoRIE 2015 : 4th International Workshop on the Reliability of Intelligent Environments

FacebookTwitterLinkedInGoogle

Link: http://www.ugr.es/~worie/2015/
 
When Jul 13, 2015 - Jul 14, 2015
Where Prague, Czech Republic
Submission Deadline Mar 23, 2015
Notification Due Apr 30, 2015
Final Version Due Mar 23, 2015
Categories    computer science   intelligent environments
 

Call For Papers

*************************************************************************************
CALL FOR PAPERS

4th International Workshop on the Reliability of Intelligent Environments (WoRIE’15)
http://www.ugr.es/~worie/2015/

to be held within the

11th International Conference on Intelligent Environments (IE’15) in Prague (Czech Republic)
http://www.intenv.org/

*************************************************************************************

-------------------------------- - - - - - - - - - - - - - -
IMPORTANT DATES
-------------------------------- - - - - - - - - - - - - - -
Paper submission deadline: 23 March 2015
Notification of acceptance: 30 April 2015
Final version submission: 15 May 2015
Workshop date: 13 or 14 July 2015

-------------------------------- - - - - - - - - - - - - - -
MOTIVATION
-------------------------------- - - - - - - - - - - - - - -
Intelligent Environments (IEs) and Ambient Intelligence (AmI) systems are rising as ones of the technical fields with the highest potential to make an impact in daily human life during the near future. Developments in these areas are achieved by a complex juxtaposition of complex technical fields: Software engineering, sensors/actuators, networks for data transportation, and human-computer interactions, among others. Many of these elements are error prone: Software is notoriously difficult, and even companies like NASA, Microsoft, Intel, and BMW, which can afford powerful teams of experienced development teams, have paid with both reputation and economic losses, and even with human lives, the fact of not being able to detect certain 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 this type of systems is therefore complex.

Moreover, some of such systems 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 system examples are unmanned cars and other autonomous systems that are supposed to perform tasks for us, which can have disastrous consequences if something goes wrong.

Consequently, 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 IEs and AmI systems safer and to provide methodologies that can increase the confidence in these developments. To achieve this, some isolated proposals have started to appear recently, but the seriousness of the topic deserves a more thorough and unified approach from our community.

-------------------------------- - - - - - - - - - - - - - -
WORKSHOP FORMAT
-------------------------------- - - - - - - - - - - - - - -
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.

-------------------------------- - - - - - - - - - - - - - -
TOPICS
-------------------------------- - - - - - - - - - - - - - -
Areas of interest include, but are not limited to, the following ones, all of them applied to increase the reliability of IEs and related systems (such as Ambient Intelligence systems, Pervasive/Ubiquitous Computing systems, Smart Environments, Multi-Agent Systems, etc.):
* Requirement specification
* Elicitation of user requirements
* Modelling notations
* Rule-based modelling
* Integration of modelling and specification
* Workflow modelling
* Simulation
* Formal analysis and design
* Human-centred design
* Software engineering techniques
* Testing
* Validation
* Formal and semi-formal methods
* Verification of system correctness
* Model checking
* Combination of verification methods
* Quality assessment
* Technical frameworks
* Support tools
* Applications and case studies

-------------------------------- - - - - - - - - - - - - - -
SUBMISSIONS
-------------------------------- - - - - - - - - - - - - - -
Authors wishing to participate in this event should:

(1) Format their papers according to the IOS Press style, with a length of at least 6 but no more than 12 pages. Latex and Word templates can be found in http://www.iospress.nl/service/authors/latex-and-word-tools-for-book-authors/.

(2) Submit the papers using the CMT account for this workshop (https://cmt.research.microsoft.com/WoRIE2015). See more details on this from the web page of the workshop.

All submitted papers will be reviewed by several reviewers with expertise in the area in order to provide constructive feedback to their authors and select the best ones for their presentation in the workshop and their publication in the proceedings.

-------------------------------- - - - - - - - - - - - - - -
PUBLICATION
-------------------------------- - - - - - - - - - - - - - -
All accepted papers will be published in a volume of the Ambient Intelligence and Smart Environments Series (ISI indexed) of IOS Press and electronically available through ACM Digital Library.

Moreover, we will determine the subject and topics of a special issue in the Journal of Reliable Intelligent Environments (http://www.springer.com/computer/hardware/journal/40860) during the workshop. Although this special issue will have an open call, extended versions of papers presented in the workshop will be welcome.

-------------------------------- - - - - - - - - - - - - - -
PROGRAM COMMITTEE
-------------------------------- - - - - - - - - - - - - - -
* Juan A. Álvarez-García – Universidad de Sevilla, Spain.
* Serge Autexier – DFKI Bremen, Germany.
* Sebastian Bader – University of Rostock, Germany.
* Stefano Chessa – Università di Pisa, Italy.
* Eun-Sun Cho – Chungnam National University, Korea.
* Fulvio Corno – Politecnico di Torino, Italy.
* Antonio Coronato – Institute for High Performance Computing and Networking, Italy.
* Domenico Cotroneo – Università "Federico II" di Napoli, Italy.
* Vincenzo De Florio – University of Antwerpen, Belgium.
* Lori Flynn – CERT, USA.
* Gordon J. Hunter – Kingston University, United Kingdom.
* Fahim Kawsar – Bell Laboratories, Belgium.
* Yan Liu – National University of Singapore, Singapore.
* Yang Liu – Nanyang Technology University, Singapore.
* Pedro Merino – University of Málaga, Spain.
* Florian Michahelles – Siemens Corporation, USA.
* Daniela Micucci – Università degli Studi di Milano-Bicocca, Italy.
* Alice Miller – University of Glasgow, United Kingdom.
* Leonardo Mostarda – Middlesex University, United Kingdom.
* George C.Polyzos – AUEB, Greece.
* Davy Preuveneers – KU Leuven, Belgium.
* Robert C. Seacord – CERT, USA.
* Alexei Sharpanskykh – Vrije U. Amsterdam, The Netherlands.
* Sotirios Terzis – University of Strathclyde, United Kingdom.
* Yoshito Tobe – Aoyama Gakuin University, Japan.

-------------------------------- - - - - - - - - - - - - - -
PROGRAM CHAIRS & CONTACT INFORMATION
-------------------------------- - - - - - - - - - - - - - -
* Miguel J. Hornos – University of Granada, Spain (mhornos@ugr.es)
* Juan Carlos Augusto – Middlesex University, United Kingdom (j.augusto@mdx.ac.uk)

Related Resources

WoRIE 2024   13th Workshop on the Reliability of Intelligent Environments
ACM-Ei/Scopus-CCISS 2024   2024 International Conference on Computing, Information Science and System (CCISS 2024)
QRS 2024   The 24th IEEE International Conference on Software Quality, Reliability, and Security
CTISC 2024   2024 6th International Conference on Advances in Computer Technology, Information Science and Communications (CTISC 2024) -EI Compendex
ISCSIC 2024   2024 8th International Symposium on Computer Science and Intelligent Control(ISCSIC 2024)
GreeNet Symposium - SGNC 2024   15th Symposium on Green Networking and Computing (SGNC 2024)
ARES 2024   International Conference on Availability, Reliability and Security
CVIV 2024   2024 6th International Conference on Advances in Computer Vision, Image and Virtualization (CVIV 2024) -EI Compendex
Call For Papers Special Issue 2024   Smart Cities, innovating in the Transformation of Urban Environments
WI-IAT 2024   23rd IEEE/WIC International Conference on Web Intelligence and Intelligent Agent Technology