ICFEM 2017 : International Conference on Formal Engineering Methods

  in Conferences   Posted on August 22, 2017

Conference Information

Submission Deadline Sunday 07 May 2017 Proceedings indexed by :
Conference Dates Nov 13, 2017 - Nov 17, 2017
Conference Address Xi’an, China
Conference & Submission Link http://ictt.xidian.edu.cn/icfem2017/
Conference Organizers : ( Deadline extended ? Click here to edit )

Conference Ranking & Metrics (This is a TOP Conference)

Guide2Research Overall Ranking: 384
Category Rankings
Software Engineering & Programming 123

Google Scholar H5-index:

Conference 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.

Other Conferences in China

ICCIS 2019 : IEEE 4th International Conference on Communication and Information Systems

Deadline :
Sun 10 Nov 2019
Dec 21, 2019 - Dec 23, 2019 - Wuhan

DAS 2020 : IAPR International Workshop on Document Analysis Systems

Deadline :
Wed 13 Nov 2019
May 17, 2020 - May 20, 2020 - Wuhan

MOBIHOC 2020 : ACM International Symposium on Mobile Ad Hoc Networking and Computing

Deadline :
Sat 30 Nov 2019
Jun 30, 2020 - Jul 3, 2020 - Shanghai

ZJULogAI 2020 : Zhejiang Conferences on Logics in Artificial Intelligence

Deadline :
Sat 30 Nov 2019
Apr 6, 2020 - Apr 9, 2020 - Hangzhou