ICFEM 2021 : International Conference on Formal Engineering Methods
in Conferences Posted on February 22, 2021Conference 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 Ranking & Metrics (This is a TOP Conference)
|
|
| 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
|
SIGDIAL 2021 : Annual Meeting of the Special Interest Group on Discourse and Dialogue (SIGDIAL) |
Deadline : Fri 02 Apr 2021 |
|
|
Jul 29, 2021 - Jul 31, 2021 - Singapore
|
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
|
||
|
|
USNC-URSI NRSM 2021 : IEEE International Symposium on Antennas and Propagation and USNC-URSI Radio Science Meeting |
Deadline : Sat 15 May 2021 |
|
|
Dec 4, 2021 - Dec 10, 2021 - Singapore
|
Singapore
|
||
