ICFEM 2021 : International Conference on Formal Engineering Methods

in Conferences   Posted on February 22, 2021 

Conference Information

Submission Deadline Sunday 24 May 2020 Proceedings indexed by :
Conference Dates Mar 1, 2021 - Mar 3, 2021
Conference Address Singapore, Singapore
Conference & Submission Link https://formal-analysis.com/icfem/2020/
Conference Organizers : ( Deadline extended ? Click here to edit )

Conference Ranking & Metrics (This is a TOP Conference)

Impact Score 1.65
#Contributing Top Scientists 12
#Papers published by Top Scientists 12
Google Scholar H5-index 13
Number of Editions: 22 (Since 1997)
Guide2Research Overall Ranking: 576
Category Rankings
Software Engineering & Programming 139
Proceedings https://link.springer.com/conference/icfem
DBLP Page https://dblp.uni-trier.de/db/conf/icfem

Conference Call for Papers

Scope and Topics
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 modelling
Formal verification and analysis
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 and security
Formal methods for software reliability and dependability
Development, integration and experiments involving verified systems
Formal certification of products under international standards
Formal model-based development and code generation

Other Conferences in Singapore

ICCCM 2021 : The 9th International Conference on Computer and Communications Management

Deadline :
Sat 10 Apr 2021
Jul 16, 2021 - Jul 18, 2021 - Singapore
Singapore

VLSI-SoC 2021 : IFIP/IEEE International Conference on Very Large Scale Integration

Deadline :
Mon 19 Apr 2021
Oct 5, 2021 - Oct 7, 2021 - Singapore
Singapore