Conference Information
ICFEM 2023: International Conference on Formal Engineering Methods
https://formal-analysis.com/icfem/2023/
Submission Date:
2023-05-14
Notification Date:
2023-07-30
Conference Date:
2023-11-21
Location:
Brisbane, Australia
Years:
24
CCF: c   QUALIS: b1   Viewed: 26932   Tracked: 34   Attend: 5

Call For Papers
Scope and Topics

Authors are invited to submit high quality technical papers describing original and unpublished work in all theoretical aspects of software engineering. Topics of interest include, but are not limited to:

    Abstraction, refinement and evolution
    Formal specification and modelling
    Formal verification and analysis
    Model checking and equivalence checking
    Automated and interactive theorem proving
    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 hardware and embedded 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
Last updated by Dou Sun in 2023-05-03
Acceptance Ratio
YearSubmittedAcceptedAccepted(%)
20091213629.8%
2007381950%
20061083835.2%
2005743040.5%
20041103027.3%
2003913437.4%
20021085954.6%
Related Conferences
CCFCOREQUALISShortFull NameSubmissionNotificationConference
VANETInternational Workshop on VehiculAr Inter-NETworking, Systems, and Applications 2012-04-162012-06-25
ab1FMInternational Symposium on Formal Methods2024-04-052024-06-032024-09-09
CIIEMInternational Congress of Energy and Environment Engineering and Management2017-03-312017-04-302017-07-17
BDEInternational Conference on Big Data Engineering2022-02-102022-02-282022-05-26
bb1WABIWorkshop on Algorithms in Bioinformatics2020-05-182020-06-292020-09-07
EWCNInternational Conference on Emerging Wireless Communications and Networking2014-12-152015-02-152015-04-06
MLPRISInternational Conference on Machine Learning, Pattern Recognition and Intelligent Systems2020-12-25 2020-07-17
EICCEuropean Interdisciplinary Cybersecurity Conference2023-01-152023-02-122023-06-14
ICCCNTInternational Conference on Computing, Communications and Networking Technologies2018-03-312018-05-152018-07-10
cbb1SOUPSInternational Symposium On Usable Privacy and Security2022-02-112022-05-162022-08-07
Recommendation