The International Research Conference Aims and Objectives
The International Research Conference is a federated organization dedicated to bringing together a significant number of diverse scholarly events for presentation
within the conference program. Events will run over a span of time during the conference depending on the number and length of the presentations.
With its high quality, it provides an exceptional value for students, academics and industry researchers.
International Conference on Software Engineering and Formal Methods
aims to bring together leading academic scientists, researchers and research scholars to exchange and share their experiences and research results on all aspects of
Software Engineering and Formal Methods.
It also provides a premier interdisciplinary platform for researchers, practitioners and educators to present and discuss the most recent innovations,
trends, and concerns as well as practical challenges encountered and solutions adopted in the fields of Software Engineering and Formal Methods.
Call for Contributions
Prospective authors are kindly encouraged to contribute to and help shape the conference through submissions of their research abstracts, papers and e-posters.
Also, high quality research contributions describing original and unpublished results of conceptual, constructive, empirical, experimental, or
theoretical work in all areas of Software Engineering and Formal Methods are cordially invited for presentation at the conference.
The conference solicits contributions of abstracts, papers and e-posters that address themes and topics of the conference, including figures, tables and references of
novel research materials.
Guidelines for Authors
Please ensure your submission meets the conference's strict guidelines for accepting scholarly papers.
Downloadable versions of the check list for
Full-Text Papers and
Abstract Papers.
Please refer to the
Paper Submission Guideline,
Abstract Submission Guideline and
Author Information
before submitting your paper.
Conference Proceedings
All submitted conference papers will be blind peer reviewed by three competent reviewers.
The peer-reviewed conference proceedings are indexed in the Open Science Index,
Google Scholar,
Semantic Scholar,
Zenedo,
BASE,
WorldCAT,
Sherpa/RoMEO,
and other index databases. Impact Factor Indicators.
Special Journal Issues
20. International Conference on Software Engineering and Formal Methods has teamed up with the Special Journal Issue on
Software Engineering and Formal Methods.
A number of selected high-impact full text papers will also be considered for the special journal issues.
All submitted papers will have the opportunity to be considered for this Special Journal Issue.
The paper selection will be carried out during the peer review process as well as at the conference presentation stage.
Submitted papers must not be under consideration by any other journal or publication.
The final decision for paper selection will be made based on peer review reports by the Guest Editors and the Editor-in-Chief jointly.
Selected full-text papers will be published online free of charge.
Conference Sponsor and Exhibitor Opportunities
The Conference offers the opportunity to become a conference sponsor or exhibitor.
To participate as a sponsor or exhibitor, please download and complete the
Conference Sponsorship Request Form.
Conference venue information will be released soon.
Software Engineering and Formal Methods
Formal requirement analysis, specification and design
Programming languages, program analysis and type theory
Formal methods for service-oriented and cloud computing
Formal aspects of security and mobility model checking, theorem proving and decision procedures
Formal methods for real-time, hybrid and embedded systems
Formal methods for safety-critical, fault- tolerant and secure systems
Software architecture and coordination languages
Component, object and multi-agent systems formal aspects of software evolution and maintenance
Formal methods for testing, re-engineering and reuse
Light-weight and scalable formal methods
Tool integration
Applications of formal methods, industrial case studies and technology transfer
Education and formal methods
| Abstracts/Full-Text Paper Submission Deadline |
|
February 13, 2025 |
| Notification of Acceptance/Rejection |
|
February 27, 2025 |
| Final Paper (Camera Ready) Submission & Early Bird Registration Deadline |
|
December 17, 2025 |
| Conference Dates |
|
February 01-02, 2026 |
