posted by user: fumiko758 || 8622 views || tracked by 28 users: [display]

ICFEM 2016 : International Conference on Formal Engineering Methods

FacebookTwitterLinkedInGoogle


Conference Series : International Conference on Formal Engineering Methods
 
Link: http://icfem2016.xyz/
 
When Nov 14, 2016 - Nov 18, 2016
Where Tokyo
Abstract Registration Due Apr 22, 2016
Submission Deadline Apr 30, 2016
Notification Due Jun 18, 2016
Final Version Due Jul 15, 2016
Categories    software engineering   computer science   reliability   formal methods
 

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 2016 will be organized and sponsored by Hosei University and will be held in the attractive and enjoyable city Tokyo during 14th ~ 18th November 2016. November is one of the two most beautiful and enjoyable seasons in Japan. We are looking forward to your contribution and participation.

Related Resources

ICFEM 2020   The 22nd International Conference on Formal Engineering Methods (2020)
IEEE-CVIV 2020   2020 2nd International Conference on Advances in Computer Vision, Image and Virtualization (CVIV 2020)
SEFM 2020   Software Engineering and Formal Methods
GreeNet Symposium - SGNC 2020   11th Symposium on Green Networking and Computing (SGNC 2020)
FMICS 2020   25th International Conference on Formal Methods for Industrial Critical Systems
ICSIE--ACM, Ei Compendex, Scopus 2020   2020 9th International Conference on Software and Information Engineering (ICSIE 2020)--ACM, Ei Compendex, Scopus
GandALF 2020   11th International Symposium on Games, Automata, Logics, and Formal Verification
ICSE 2021   43rd International Conference on Software Engineering, 23-29 May 2021
DAWSN 2020   Special Issue “Distributed Algorithms for Wireless Sensor Networks”
CPP 2021   Certified Programs and Proofs