ICFEM: International Conference on Formal Engineering Methods

FacebookTwitterLinkedInGoogle

 

Past:   Proceedings on DBLP

Future:  Post a CFP for 2018 or later   |   Invite the Organizers Email

 
 

All CFPs on WikiCFP

Event When Where Deadline
ICFEM 2017 19th International Conference on Formal Engineering Methods
Nov 13, 2017 - Nov 17, 2017 Xi'an May 7, 2017 (Apr 30, 2017)
ICFEM 2016 International Conference on Formal Engineering Methods
Nov 14, 2016 - Nov 18, 2016 Tokyo Apr 30, 2016 (Apr 22, 2016)
ICFEM 2015 17th International Conference on Formal Engineering Methods
Nov 3, 2015 - Nov 6, 2015 Paris Apr 26, 2015 (Apr 19, 2015)
ICFEM 2014 International Conference on Formal Engineering Methods
Nov 3, 2014 - Nov 7, 2014 Luxembourg Apr 18, 2014 (Apr 11, 2014)
ICFEM 2013 International Conference on Formal Engineering Methods
Oct 29, 2013 - Nov 1, 2013 Queenstown, New Zealand Apr 22, 2013 (Apr 15, 2013)
ICFEM 2012 14th International Conference on Formal Engineering Methods
Nov 12, 2012 - Nov 16, 2012 Kyoto, Japan Apr 30, 2012 (Apr 16, 2012)
ICFEM 2011 13th International Conference on Formal Engineering Methods
Oct 25, 2011 - Oct 28, 2011 Durham, UK Apr 7, 2011 (Mar 31, 2011)
ICFEM 2010 12th International Conference on Formal Engineering Methods
Nov 16, 2010 - Nov 19, 2010 Shanghai, China Jun 4, 2010 (May 28, 2010)
ICFEM 2009 11th International Conference on Formal Engineering Methods
Dec 9, 2009 - Dec 12, 2009 Rio de Janeiro Jul 20, 2009 (Jul 13, 2009)
 
 

Present CFP : 2017

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

NFM 2017   The 9th NASA Formal Methods Symposium
ICIEM 2016   International Conference on Integrated Environmental Management for Sustainable Development
CGDEIJ 2016   Computer Game Development and Education: An International Journal
ICFEM 2016   International Conference on Formal Engineering Methods
SEKE 2017   The Twenty-Ninth International Conference on Software Engineering and Knowledge Engineering
QEST 2017   14th International Conference on Quantitative Evaluation of SysTems
LICS 2017   Thirty-Second Annual ACM/IEEE Symposium on Logic in Computer Science
ICCTD 2017   8th International Conference on Computer Technologies and Development-EI, Scopus, and ISI CPCS
LPAR 2017   International Conferences on Logic for Programming, Artificial Intelligence and Reasoning
WCSE 2017   7th International Workshop on Computer Science and Engineering --Scopus & Ei compendex