posted by user: ticocong || 8785 views || tracked by 35 users: [display]

ICFEM 2017 : 19th International Conference on Formal Engineering Methods

FacebookTwitterLinkedInGoogle


Conference Series : International Conference on Formal Engineering Methods
 
Link: http://ictt.xidian.edu.cn/icfem2017/
 
When Nov 13, 2017 - Nov 17, 2017
Where Xi'an
Abstract Registration Due Apr 30, 2017
Submission Deadline May 7, 2017
Notification Due Jun 29, 2017
Final Version Due Jul 29, 2017
Categories    formal methods   software engineering   verification   testing
 

Call For Papers

Since it was started in Hiroshima, Japan in 1997, ICFEM has provided a forum for both researchers and practitioners who are interested in developing practical formal methods for software engineering or applying existing formal techniques to improve software development process in practice. Formal methods for the development of computer systems have been extensively researched and studied. We now have good theoretical understandings of how to describe what programs do, how they do it, and why they work. A range of semantic theories, specification languages, design techniques, verification methods, and supporting tools have been developed and applied to the construction of programs of moderate size that are used in critical applications. The remaining challenge now is how to deal with problems in developing and maintaining large scale and complex computer systems.

The goal of this conference is to bring together industrial, academic, and government experts, from a variety of user domains and software disciplines, to help advance the state of the art. Researchers, practitioners, tool developers and users, and technology transfer experts are all welcome. We are interested in work that has been incorporated into real production systems, and in theoretical work that promises to bring practical, tangible engineering benefits.

ICFEM 2017 will be organized and sponsored by Xidian University and will be held in Xi’an, one of the oldest cities in the world with a vivid and rich history and culture, China, during 13th ~ 17th November 2017. We are looking forward to your contribution and participation.

Submissions related to the following principal themes are encouraged, but any topics relevant to the field of formal engineering methods and their practical applications will also be considered.
Abstraction, refinement and evolution
Formal specification and modeling
Program analysis
Formal verification
Model checking
Formal approaches to software testing and inspection
Formal methods for self-adaptive systems
Formal methods for object-oriented systems
Formal methods for component-based systems
Formal methods for concurrent and real-time systems
Formal methods for cloud computing
Formal methods for cyber-physical systems
Formal methods for software safety, security, reliability and dependability
Tool development, integration and experiments involving verified systems
Formal methods used in certifying products under international standards
Formal model-based development and code generation

Related Resources

TACAS 2019   International Conference on Tools and Algorithms for the Construction and Analysis of Systems
AIAPP 2019   6th International Conference on Artificial Intelligence and Applications (AIAPP 2019)
VMCAI 2019   International Conference on Verification, Model Checking, and Abstract Interpretation
IJWesT 2018   International Journal of Web & Semantic Technology
FormaliSE 2019   7th International Conference on Formal Methods in Software Engineering
ICIAI--ACM, Ei Compendex and Scopus 2019   ACM--2019 The 3rd International Conference on Innovation in Artificial Intelligence (ICIAI 2019)--Ei Compendex and Scopus
QEST 2019   16th International Conference on Quantitative Evaluation of SysTems
ACM--ICSCA--Ei Compendex, Scopus 2019   ACM--2019 8th International Conference on Software and Computer Applications (ICSCA 2019)--Ei Compendex, Scopus
HSCC 2019   22nd ACM International Conference on Hybrid Systems: Computation and Control
IJICS 2018   International Journal of Instrumentation and Control Systems