Formal Techniques for Networked and Distributed Systems
摘要截稿: 2020-02-03
全文截稿: 2020-02-14
开会时间: 2020-06-15
会议难度:
CCF分类: C类
会议地点: Valletta, Malta
Overview
FORTE 2020 is a forum for fundamental research on theory, models, tools, and applications for distributed systems.
The conference solicits original contributions that advance the science and technology for distributed systems, with special interest in:
Software quality, reliability, availability, and safety;
Security, privacy, and trust in distributed and/or communicating systems;
Service-oriented, ubiquitous, and cloud computing systems
Component- and model-based design
Object technology, modularity, software adaptation
Self-stabilization and self-healing/organizing
Verification, validation, formal analysis, and testing of the above.