posted by user: fmsas || 3769 views || tracked by 9 users: [display]

FMSAS 2014 : Second International Workshop on Formal Methods for Self-Adaptive Systems

FacebookTwitterLinkedInGoogle

Link: http://www.fmsas.confevent.com/
 
When Nov 24, 2014 - Nov 25, 2014
Where Ho Chi Minh City, Vietnam
Submission Deadline Aug 20, 2014
Notification Due Aug 31, 2014
Final Version Due Oct 1, 2014
Categories    self-adaptive systems   computer science   artificial intelligence   formal methods
 

Call For Papers

A self-adaptive system changes its behavior in response to stimuli from its execution and operational environment. As software is used for more pervasive and critical applications, support for self-adaptation is increasingly seen as vital in avoiding costly disruptions for repair, maintenance and evolution of systems. Self-adaptation may result in changes to some functionality, algorithms, or system parameters, as well as to the system’s structure or any other system aspect. Moreover, an autonomic self-adaptive system may have intrinsic intelligence that may help it reason about situations where autonomous decision making is required. The major challenges to overcome in order to achieve adequate self-adaptive behavior are related to monitoring, quality and quantity of knowledge and awareness. A successful self-adaptive system meets those challenges to emphasize features like adaptability, autonomy, mobility, robustness, and dynamicity.

Developing self-adaptive systems requires new approaches that can efficiently tackle the problems of expressing autonomy requirements, designing and implementing self-adaptive features, and efficiently testing self-adaptive behavior. This satellite event to the ICTCC 2014 is a good opportunity to bring together researchers in formal methods and related fields interested in the opportunities and the challenges of developing self-adaptive systems. We welcome both theoretical and applied contributions related to the relevance and potential of formal methods in engineering self-adaptive systems.


TOPICS
•formalism for expressing autonomy requirements and modeling self-adaptation;
•tools and approaches for implementing self-adaptive systems;
•tools and approaches for verification and testing self-adaptation;
•run-time verification;
•verification of non-deterministic systems;
•algorithms for self-adaptation and self-management;
•knowledge representation for cognitive systems;
•approaches to autonomous decision-making;
•modeling awareness and self-awareness;
•robustness and fault tolerance;
•mobility;
•monitoring;
•software architectures;
•code generation;
•bio-inspired algorithms;
•simulation;
•machine learning.

Other topics related to self-adaptive systems and of particular interest are: autonomic computing, mobile computing, multi-agent systems, resilient systems, unmanned exploration systems, service-oriented systems, robotics, sensor networks, adaptable user interfaces and pervasive systems.

FMSAS 2014 will be held in conjunction with the The 1st International Conference on Nature of Computation and Communication (ICTCC 2014) hosted by EAI, the European Alliance for Innovation. All accepted papers will be included in the ICTCC 2014 Conference Proceedings, scheduled to appear in the Lecture Notes of ICST (LNICST) series jointly published by ICST and Springer and indexed in DBLP, Google Scholar, ISI Proceedings, EI, CrossRef and Zentralblatt Math.

Submission webpage: http://www.cms.confevent.com/?ci=1&cl=ypmmaaytihowkmrrrkgm

Related Resources

FM 2024   Formal Methods
ACM-Ei/Scopus-CCISS 2024   2024 International Conference on Computing, Information Science and System (CCISS 2024)
ICFEM 2024   International Conference on Formal Engineering Methods
CTISC 2024   2024 6th International Conference on Advances in Computer Technology, Information Science and Communications (CTISC 2024) -EI Compendex
FMICS 2024   29th International Conference on Formal Methods for Industrial Critical Systems
IEEE COINS 2024   IEEE COINS 2024 - London, UK - July 29-31 - Hybrid (In-Person & Virtual)
AFMAS 2024   Science of Computer Programming special issue on Advances in Formal Methods for Autonomous Systems
ECAI 2024   27th European Conference on Artificial Intelligence
SAB 2024   From Animals to Animats: 17th International Conference on the Simulation of Adaptive Behavior
CVIV 2024   2024 6th International Conference on Advances in Computer Vision, Image and Virtualization (CVIV 2024) -EI Compendex