posted by user: liyistc || 415 views || tracked by 3 users: [display]

ICFEM 2023 : International Conference on Formal Engineering Methods

FacebookTwitterLinkedInGoogle


Conference Series : International Conference on Formal Engineering Methods
 
Link: https://formal-analysis.com/icfem/2023/
 
When Nov 21, 2023 - Nov 24, 2023
Where Brisbane, Australia
Abstract Registration Due May 14, 2023
Submission Deadline May 21, 2023
Notification Due Jul 30, 2023
Final Version Due Aug 13, 2023
Categories    formal methods   formal verification   model checking   theorem proving
 

Call For Papers

Overview

ICFEM (International Conference on Formal Engineering Methods) 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. This year, ICFEM 2023 will be held in Brisbane, Australia on November 21-24, 2023.

Topics of Interest

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
Important Dates

Abstract Submission: May 14, 2023 (AOE)
Paper Submission: May 21, 2023 (AOE)
Author Notification: July 30, 2023
Camera-ready versions: Aug 13, 2023
Conference: Nov 21-24, 2023
More information can be found on the website of ICFEM 2023: https://formal-analysis.com/icfem/2023/

Submission Instructions

Submission should be done through the ICFEM 2023 submission page, handled by the EasyChair conference system: https://easychair.org/conferences/?conf=icfem2023

As in previous years, the proceedings will be published in the Springer Lecture Notes in Computer Science series.

Papers should be written in English and should not exceed 16 pages (including references) in the Springer's LNCS format. Additional material may be placed in an appendix, to be read at the discretion of the reviewers and to be omitted in the final version. Formatting style files and further guidelines for formatting can be found at the Springer website (more details here).

Related Resources

FMICS 2023   28th International Conference on Formal Methods for Industrial Critical Systems
CIOS 2023   International Conference on Cloud, IoT and Security
KI 2023   46th German Conference on Artificial Intelligence
BIOS 2023   9th International Conference on Bioinformatics & Biosciences
IFM 2023   Integrated Formal Methods
FMCAD 2023   2023 Formal Methods in Computer-Aided Design (FMCAD)
CCSIT 2023   13th International Conference on Computer Science and Information Technology
CONISOFT 2023   11th International Conference on Software Engineering Research and Innovation
SECURA 2023   International Conference on Security & Applications
SRDS 2023   42nd International Symposium on Reliable Distributed Systems