Conference Information
ICFEM 2020: International Conference on Formal Engineering Methods
Submission Date:
Notification Date:
Conference Date:
CCF: c   QUALIS: b1   Viewed: 15740   Tracked: 23   Attend: 4

Conference Location
Call For Papers
International Conference on Formal Engineering Methods (ICFEM) is an international leading conference series in formal methods and software engineering. Since 1997, ICFEM has been serving as an international forum for researchers and practitioners who have been seriously applying formal methods to practical applications. Researchers and practitioners, from industry, academia, and government, are encouraged to attend, present their research, and help advance the state of the art. ICFEM is interested in work that has been incorporated into real production systems, and in theoretical work that promises to bring practical and tangible benefit. ICFEM has been hosted in many countries around the world. Papers at ICFEM are fully refereed and proceedings are published by Springer LNCS and IEEE Press.

This year's ICFEM will be held in Singapore right after the 25th International Conference on Engineering of Complex Computer Systems (ICECCS 2020) in Singapore. We would like to encourage you to attend both conferences with one business trip.

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
Last updated by Dou Sun in 2020-03-10
Acceptance Ratio
Related Conferences
CCFCOREQUALISShortFull NameSubmissionNotificationConference
bb1WiOptInternational Symposium on Modeling and Optimization in Mobile, Ad Hoc, and Wireless Networks2019-01-142019-03-222019-06-03
bb1FMInternational Symposium on Formal Methods2019-03-282019-06-112019-10-07
SPCPSWorkshop on Security and Privacy in Cyber-Physical Systems2017-03-232017-04-222017-06-21
MLInternational Conference on Mobile Learning2020-02-142020-03-022020-04-02
MIEInternational Conference of the European Federation for Medical Informatics2012-01-152012-03-272012-08-26
cPSDPrivacy in Statistical Databases2020-05-242020-06-262020-09-23
ACSOSInternational Conference on Autonomic Computing and Self-Organizing Systems2020-05-152020-06-202020-08-17
b4QUATICInternational Conference on the Quality of Information and Communications Technology2014-04-282014-05-262014-09-23
cDFRWSDigital Forensics Research Conference2017-10-152017-12-182018-03-21
IEEE BigDataIEEE International Conference on Big Data2020-08-192020-10-162020-12-10
Related Journals
CCFFull NameImpact FactorPublisherISSN
International Journal of Performability Engineering RAMS Consultants0973-1318
International Journal of Engineering MathematicsHindawi2356-7007
Journal of Systems Engineering and Electronics Beijing Institute of Aerospace Information1004-4132
Control Engineering Practice3.232Elsevier0967-0661
Numerical Heat Transfer, Part B: Fundamentals1.216Taylor & Francis1040-7790
International journal of Software Engineering & Applications AIRCC0976-2221
aIEEE Transactions on Software Engineering4.778IEEE0098-5589
Journal of Process Control3.316Elsevier0959-1524
ACM SIGSOFT Software Engineering Notes ACM0163-5948
Library Hi Tech1.256Emerald0737-8831