IMPACT SCORE JOURNAL RANKING CONFERENCE RANKING Conferences Journals Workshops Seminars SYMPOSIUMS MEETINGS BLOG LaTeX 5G Tutorial Free Tools
FormaliSE 2021 : International Conference on Formal Methods in Software Engineering
FormaliSE 2021 : International Conference on Formal Methods in Software Engineering

FormaliSE 2021 : International Conference on Formal Methods in Software Engineering

Madrid, Spain
Event Date: May 23, 2021 - May 24, 2021
Abstract Submission Deadline: January 05, 2021
Submission Deadline: January 12, 2021
Notification of Acceptance: February 22, 2021
Camera Ready Version Due: March 22, 2021




About

The software industry needs tools and methods to deliver high-quality software. Much progress has been achieved from the early days of software development; still, nowadays, even considering the state of the art of the technologies used, the success of software projects is often not guaranteed. Many of the approaches used for developing large, complex software systems are still not able to ensure the correct behavior — and the general quality — of the delivered product, despite the efforts of the (often very qualified and skilled) software engineers involved. This is where formal methods can play a significant role. Indeed, they have been developed to provide the means for greater precision and thoroughness in modeling, reasoning about, validating, and documenting the various aspects of software systems during their development. When carefully applied, formal methods can aid all aspects of software creation: user requirement formulation, design, implementation, verification/testing, and the creation of documentation.

After decades of research though, and despite significant advancement, formal methods are still not widely used in industrial software development. We believe that closer integration of formal methods in software engineering can help increase the quality of software applications, and at the same time highlight the benefits of formal methods in terms also of the generated return on investment (ROI).

The main objective of the conference is to foster the integration between the formal methods and the software engineering communities, to strengthen the — still too weak — links between them, and to stimulate researchers to share ideas, techniques, and results, with the ultimate goal to propose novel solutions to the fraught problem of improving the quality of software systems.


Call for Papers

Topics of interest
Areas of interest include but are not limited to:
- approaches and tools for verification and validation;
- application of formal methods to specific domains, e.g., autonomous, cyber-physical, intelligent, and IoT systems;
- scalability of formal methods applications;
- integration of formal methods within the software development lifecycle (e.g., change management, continuous integration, and deployment);
- requirements formalization and formal specification;
- model-based software engineering approaches;
- performance analysis based on formal approaches;
- formal methods in a certification context;
- formal approaches for safety and security-related issues;
- usability of formal methods;
- guidelines to use formal methods in practice;
- case studies developed/analyzed with formal approaches;
- experience reports on the application of formal methods to real-world problems;



Summary

FormaliSE 2021 : International Conference on Formal Methods in Software Engineering will take place in Madrid, Spain. It’s a 2 days event starting on May 23, 2021 (Sunday) and will be winded up on May 24, 2021 (Monday).

FormaliSE 2021 falls under the following areas: COMPUTER SCIENCE, FORMAL METHODS, SOFTWARE DEVELOPMENT, etc. Submissions for this Conference can be made by Jan 12, 2021. Authors can expect the result of submission by Feb 22, 2021. Upon acceptance, authors should submit the final version of the manuscript on or before Mar 22, 2021 to the official website of the Conference.

Please check the official event website for possible changes before you make any travelling arrangements. Generally, events are strict with their deadlines. It is advisable to check the official website for all the deadlines.

Other Details of the FormaliSE 2021

  • Short Name: FormaliSE 2021
  • Full Name: International Conference on Formal Methods in Software Engineering
  • Timing: 09:00 AM-06:00 PM (expected)
  • Fees: Check the official website of FormaliSE 2021
  • Event Type: Conference
  • Website Link: https://www.formalise.org/
  • Location/Address: Madrid, Spain


Credits and Sources

[1] FormaliSE 2021 : International Conference on Formal Methods in Software Engineering


Check other Conferences, Workshops, Seminars, and Events


OTHER COMPUTER SCIENCE EVENTS

SPTM 2025: 13th International Conference of Security, Privacy and Trust Management
London, United Kingdom
Jul 26, 2025
ICoSSE 2026: 2026 9th International Conference on Software and System Engineering (ICoSSE 2026)
Lyon, France
Apr 13, 2026
CMLA 2025: 7th International Conference on Machine Learning & Applications
Toronto, Canada
Jul 19, 2025
CIoT 2025: 7th International Conference on Internet of Things
Toronto, Canada
Jul 19, 2025
MODELSWARD 2026: 14th International Conference on Model-Based Software and Systems Engineering
Marbella, Spain
Mar 7, 2026
SHOW ALL

OTHER FORMAL METHODS EVENTS

MEMOCODE 2025: 23rd ACM/IEEE International Symposium on Formal Methods and Models for System Design (FMCPS) Deadline Extended (Final)
Taipei, Taiwan
Oct 2, 2025
SBMF 2025: 28th Brazilian Symposium on Formal Methods
Recife, Brazil
Dec 3, 2025
MEMOCODE 2025: 23rd ACM/IEEE International Symposium on Formal Methods and Models for System Design (FMCPS)
Taipei, Taiwan
Oct 2, 2025
FMAS 2025: 7th International Workshop on Formal Methods for Autonomous Systems
Paris
Nov 17, 2025
iFM 2025: 20th International Conference on Integrated Formal Methods
Paris, France
Nov 19, 2025
SHOW ALL

OTHER SOFTWARE DEVELOPMENT EVENTS

WSIS 2025: XVI Workshop on Information Systems
Rio Paranaiba
Sep 14, 2025
emBO++ 2024: Meeting The Experts On Embedded Systems
Bochum, Germany
Mar 14, 2024
ISD 2024: The 32nd International Conference on Information Systems Development
Gdańsk, Poland
Aug 26, 2024
ASYDE 2022: Automated and verifiable Software sYstem DEvelopment
Computer Science Humboldt Univ. Berlin
Sep 28, 2022
QSW 2022: CfP: IEEE International Conference on Quantum Software @ IEEE SERVICES
Barcelona, Spain
Jul 10, 2022
SHOW ALL