IMPACT FACTOR JOURNAL RANKING CONFERENCE RANKING Conferences Journals Workshops Seminars SYMPOSIUMS MEETINGS BLOGS LaTeX 5G Tutorial Advertise
 
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;



Best Deals



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

SEFM 2021: The 19th edition of the International Conference on Software Engineering and Formal Methods
Virtual
Dec 06, 2021
AMICT 2021: 15th Workshop on Advances in Methods of Information and Communication Technology
Oulu, Finland
Oct 28, 2021
SEA 2021: 10th International Conference on Software Engineering and Applications
Copenhagen, Denmark
Jun 19, 2021
RAID 2021: Research in Attacks, Intrusions and Defenses
Donostia / San Sebastian, Spain
Oct 06, 2021
SOENG 2021: 7th International Conference on Software Engineering
Copenhagen, Denmark
Apr 24, 2021
SHOW ALL

OTHER FORMAL METHODS EVENTS

SEFM 2021: The 19th edition of the International Conference on Software Engineering and Formal Methods
Virtual
Dec 06, 2021
TASE 2021: The 15th International Symposium on Theoretical Aspects of Software Engineering
Shanghai
Aug 25, 2021
VWLD 2021: Vienna World Logic Day Lecture
Online
Jan 14, 2021
F-IDE 2021: 6th Workshop on Formal Integrated Development Environment
Online
May 24, 2021
ABZ 2021: 8th International Conference on Rigorous State Based Methods
Ulm
Jun 07, 2021
SHOW ALL

OTHER SOFTWARE DEVELOPMENT EVENTS

HackConf 2021: HackConf
Sofia, Bulgaria
Oct 22, 2021
HackConf 2020: A software development conference for developers, by developers
Sofia, Bulgaria
Sep 25, 2020
21 CFR Part 11 Guidance 2020: 21 CFR Part 11 Guidance on Electronic Records and Electronic Signatures for Computer Systems Regulated by FDA
Online Event
Mar 23, 2020
ReactiveConf 2020: ReactiveConf
Prague, Czech Republic
Oct 12, 2020
IT days 2020: IT conference for software development, architecture, databases and management
Frankfurt am Main
Dec 14, 2020
SHOW ALL