posted by user: phanvc || 1328 views || tracked by 3 users: [display]

AAC 2010 : [Springer Journal] CFP: Advances in Autonomic Computing: Formal Engineering Methods for Nature-Inspired Computing Systems


When N/A
Where N/A
Submission Deadline Mar 15, 2010
Notification Due Jun 15, 2010
Final Version Due Jul 30, 2010

Call For Papers

Springer Transactions on Computational Science (TCS)


Special Issue Title:
Advances in Autonomic Computing:
Formal Engineering Methods for Nature-Inspired Computing Systems

Guest Editor:
Dr. Phan Cong-Vinh
Centre for Applied Formal Methods
London South Bank University, United Kingdom

A new computing paradigm is currently undergoing rapid advancements and emerging on the spot as one of the priority research areas, whose research activities are booming recently: autonomic computing (AC), which is primarily inspired by the human autonomic nervous system. AC is characterized by its self-* facets such as self-organization, self-configuration, self-healing, self-optimization, self-protection and so on whose context-awareness used to dynamically control computing functions. The overarching goal of AC is to realize nature-inspired computing systems (so-called autonomic systems), that can manage themselves without direct human interventions. Meeting this grand challenge of AC requires a rigorous interdisciplinary approach to nature-inspired computing systems. To this end, in this special issue, we will present advances in AC through dissecting nature-inspired computing systems taking advantage of formal engineering methods. Furthermore, in the field of AC, there exists a need for novel research results on properties of nature-inspired computing systems. All of these are to achieve firm formal foundations of AC.

This special issue on Advances in Autonomic Computing: Formal Engineering Methods for Nature-Inspired Computing Systems in the Springer Journal of TCS is a place for highly original ideas about how AC is going to shape nature-inspired computing systems of the future. Hence, it focuses on rigorous approaches and cutting-edge solutions which break new ground in dealing with the properties of nature-inspired computing systems. Its purpose is to make a formal basis more accessible to researchers, scientists, professionals and students as well as developers and practitioners in computing science by providing them with state-of-the-art research results and future opportunities and trends.

Original papers are solicited for this special issue. In particular, theoretical contributions should be formally stated and justified, and practical applications should be based on their firm formal basis. Suggested topics include, but are not limited to, the following:

- Theoretical foundations of nature-inspired computing systems
- Formalizing self-* facets (such as self-management, self-monitoring, self-tuning, self-repair, self-configuration, and so on) in nature-inspired computing systems
- Formalizing languages that enable nature-inspired computing systems
- Calculi for reasoning about behavior of nature-inspired computing systems
- Formal methods for specifying, refining, programming and verifying nature-inspired computing systems
- Management and control of nature-inspired computing systems
- Robustness and dependability of nature-inspired computing systems
- Biologically, socially, and physically inspired computing systems
- Applications of formal methods for nature-inspired computing systems

This list is not restrictive - prospective authors are encouraged to contact the editor before submitting a paper to determine whether the submission is within the scope of this special issue.

Submission Procedure:
Prospective authors may check the Guidelines for Authors of TCS at Submitted papers must not have been previously published or be currently under consideration for publication elsewhere. Conference papers should be significantly extended and revised, thus the authors should indicate this at the time of submission. All papers will be rigorously refereed. Complete papers in PDF format should be submitted to the Guest Editor before March 15, 2010 via email. The paper should be included as an email attachment or the author may provide a URL where the file can be downloaded. If a paper has co-authors then a correspondence contact out of co-authors must be indicated. An acknowledgment of receipt of the paper will be provided within 24 hours of submission.

Important Dates:
Papers Submission Deadline: March 15, 2010
Acceptance Notification: June 15, 2010 (*)
Final Papers Due: July 30, 2010
Expected Publication: Winter 2010

(*) Authors of papers judged to be out of the scope or to fall outside the goals of this special issue may be notified earlier.

Guest Editor:
Phan Cong-Vinh
PhD in Computing
Centre for Applied Formal Methods
London South Bank University
103 Borough Road, London SE1 0AA, United Kingdom
Tel: +44 (0)20 7815 7462 • Fax: +44 (0)20 7815 7793

Related Resources

DASC 2020   The 18th IEEE Int’l Conference on Dependable, Autonomic and Secure Computing
Int Sys Edu 2021   Special Issue on Advances in Intelligent Systems for Online Education - Future Generation Computer Systems (I.F. 6.125)
MAES 2020   Machine Learning Advances Environmental Science
SPAWC 2021   22nd IEEE International Workshop on Signal Processing Advances in Wireless Communications
IJAB 2020   International Journal of Advances in Biology
SC4EDS 2021   Special Session on Soft Computing for Evolving Data Streams: Advances in Real-Time Pattern Recognition
AIOPS 2020   Artificial Intelligence for IT Operations
Computing Journal SI 2021   Recent Advances in Autonomous Vehicle Solutions in the Digital Continuum
ADSA 2021   Advances in Data Science and Analytics: Concept and Paradigm
IoT-T&A 2020   The 4th International Workshop on Recent advances on Internet of Things: Technology and Application Approaches