posted by user: asantokhee || 1157 views || tracked by 1 users: [display]

WORIE 2023 : 12th Workshop on the Reliability of Intelligent Environments

FacebookTwitterLinkedInGoogle

Link: https://www.ugr.es/~worie/2023/home
 
When Jun 27, 2023 - Jun 28, 2023
Where Mauritius
Submission Deadline Mar 1, 2023
Notification Due Apr 5, 2023
Final Version Due Apr 15, 2023
Categories    intelligent environments   reliability   systems engineering   quality assessment
 

Call For Papers

MOTIVATION
Intelligent Environments and related systems (such as Ambient Intelligence systems, Pervasive/Ubiquitous Computing systems, Smart Environments, Multi‐Agent Systems, Cyber-Physical Systems, etc.) 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. In fact, the underlying software has to be context‐aware and consider multiple elements, such as the environment that has to control (building, office, vehicle, city,…), the sensors and actuators deployed in it, the communication protocols and networks used for data transmission, different types of users and the existing interactions between these elements. Many of them are error prone: sensors are often unreliable, networks are sometimes unstable and users can put systems to the test in circumstances that were not initially foreseen. In addition, as it is well‐known, software is greatly difficult to develop, and even big companies like NASA, Microsoft, Intel, and BMW, which can afford powerful teams of experienced development engineers, 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. Therefore, developing this type of systems is a complex task. 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 and reliable systems as well as to extend the current state of the art in this development and research area. Given the specific blend of components in this area, we cannot just transfer developments made in other areas (although, of course, they should be taken into account to inform the process). This event will aim to bring together researchers and practitioners to focus on all aspects of the development process that can contribute to make Intelligent Environments and related systems safer and more secure and reliable, as well as to provide methodologies that can increase the user 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.

TOPICS
Areas of interest include, but are not limited to, the following ones, all of them applied to increase the reliability, security and safety of Intelligent Environments and related systems:
• Requirement specification
• Elicitation of user requirements
• Modelling notations
• Rule‐based modelling
• Integration of modelling and specification
• Workflow modelling
• Simulation
• 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
• Development methodologies
• Support tools
• Applications and case studies
• Formal analysis and design

PUBLICATION
All accepted papers will be published in an Open Access volume within the Book Series on Ambient Intelligence and Smart Environments Series (IOS Press). As of 2015, the Workshops Proceedings published by this Book Series are indexed in the Conference Proceedings Citation Index ‐ Science (CPCI‐S) by Thomson Reuters. Previous editions were indexed by Scopus.
Authors of selected papers will be invited to submit extended versions of their papers to the Journal of Reliable Intelligent Environments (http://www.springer.com/computer/hardware/journal/40860), which is currently indexed within the second quartile (Q2) in SJR (Scimago Journal Rank). These invitations will be sent by email after the event has been held.

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 10 pages. Latex and Word templates can be found in https://www.iospress.com/book‐article‐instructions.
(2) Submit the papers using the CMT account for this workshop (https://cmt3.research.microsoft.com/WoRIE2023). See more details about this on 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.

WORKSHOP FORMAT
The workshop will start with a keynote speech related with some of the topics addressed in it. The core of the event will be the presentation of recent advances in research and applications on such topics, followed by a short debate (questions & answers section) aiming to encourage a critical reflection on the corresponding subject. Presentations can also contain demos or videos about tools and applications. After the presentations of the selected papers, a panel made up of all the participants will discuss on critical issues that should be addressed at both academic and professional level to improve the safety, security and reliability of Intelligent Environments. Interaction will be encouraged throughout the event.

Related Resources

CTRQ 2025   The Eighteenth International Conference on Communication Theory, Reliability, and Quality of Service
SACI 2025   19th IEEE International Symposium on Applied Computational Intelligence and Informatics
WoRIE 2024   13th Workshop on the Reliability of Intelligent Environments
ICEIS 2025   27th International Conference on Enterprise Information Systems
SPIE-Ei/Scopus-CMLDS 2025   2025 2nd International Conference on Computing, Machine Learning and Data Science (CMLDS 2025) -EI Compendex & Scopus
ACM ICVARS 2025   ACM--2025 9th International Conference on Virtual and Augmented Reality Simulations (ICVARS 2025)
MLPRIS 2025   The 7th Int'l Conference on Machine Learning, Pattern Recognition and Intelligent Systems
ACM ICISE 2024   ACM--2024 9th International Conference on Information Systems Engineering (ICISE 2024)
IEEE-EI/Scopus-IECA 2025   2025 2nd International Conference on Informatics Education and Computer Technology Applications -IEEE Xplore/EI/Scopus
ICCGV 2025   2025 Eighth International Conference on Computer Graphics and Virtuality (ICCGV 2025)