ICFEM 2017 : International Conference on Formal Engineering Methods

  in Conferences   Posted on August 22, 2017

Conference Information

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

Conference Ranking & Metrics (This is a TOP Conference)

Google Scholar H5-index: 12
CORE 2017 Rating:
Guide2Research Overall Ranking: 389
Category Rankings
Software Engineering & Programming 111

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

CIKM 2019 : Conference on Information and Knowledge Management

Deadline :
Wed 22 May 2019
Nov 3, 2019 - Nov 7, 2019 - Beijing
China

COMML 2020 : International Conference on Optimization, Metaheuristics and Machine Learning

Deadline :
Fri 31 May 2019
Apr 10, 2020 - Apr 12, 2020 - Xi\'an
China