[ The Types Forum (announcements only),
http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]
https://urldefense.com/v3/__http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=172358__;!!IBzWLUs!S2tBXxwzKujT8OABaIewuvfWsr4SC4CSqML8gvJUk0rpNl-iF2iqaYr8A9kv15hmO2p0PtC57-hIXu2HXhEWZhFW0J66wDIPifvR0r97R1c$
24th International Conference on Formal Engineering Methods (ICFEM 2023)
https://urldefense.com/v3/__https://formal-analysis.com/icfem/2023/__;!!IBzWLUs!S2tBXxwzKujT8OABaIewuvfWsr4SC4CSqML8gvJUk0rpNl-iF2iqaYr8A9kv15hmO2p0PtC57-hIXu2HXhEWZhFW0J66wDIPifvRhgdNA_w$
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 (physical) 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://urldefense.com/v3/__https://formal-analysis.com/icfem/2023/__;!!IBzWLUs!S2tBXxwzKujT8OABaIewuvfWsr4SC4CSqML8gvJUk0rpNl-iF2iqaYr8A9kv15hmO2p0PtC57-hIXu2HXhEWZhFW0J66wDIPifvRhgdNA_w$
Submission Instructions
Submission should be done through the ICFEM 2023 submission page, handled by
the EasyChair conference system:
https://urldefense.com/v3/__https://easychair.org/conferences/?conf=icfem2023__;!!IBzWLUs!S2tBXxwzKujT8OABaIewuvfWsr4SC4CSqML8gvJUk0rpNl-iF2iqaYr8A9kv15hmO2p0PtC57-hIXu2HXhEWZhFW0J66wDIPifvRfXOR-DQ$
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.
Organizing Committee
General Co-Chairs
- Jin Song Dong, NUS and Griffith University, Singapore/Australia
- Guangdong Bai, The University of Queensland, Australia
Program Co-Chairs
- Yi Li, Nanyang Technological University, Singapore
- Sofiene Tahar, Concordia University, Canada
Finance Chair
- Zhe Hou, Griffith University, Australia
Publicity Chair
- Cheng-Hao Cai, Monash University at Suzhou, China
- Neeraj Kumar Singh, IRIT-ENSEEIHT, Toulouse, France
Workshop Chair
- Xiaofei Xie, Singapore Management University, Singapore
Publication Chair
- Xiaodong Qi, Nanyang Technological University, Singapore
