IMPACT FACTOR JOURNAL RANKING CONFERENCE RANKING Conferences Journals Workshops Seminars SYMPOSIUMS MEETINGS BLOGS LaTeX 5G Tutorial
 
SEFM 2021 : The 19th edition of the International Conference on Software Engineering and Formal Methods
SEFM 2021 : The 19th edition of the International Conference on Software Engineering and Formal Methods

SEFM 2021 : The 19th edition of the International Conference on Software Engineering and Formal Methods

Virtual
Event Date: December 06, 2021 - December 10, 2021
Abstract Submission Deadline: July 19, 2021
Submission Deadline: July 23, 2021
Notification of Acceptance: September 24, 2021
Camera Ready Version Due: October 08, 2021



About

The 19th edition of the International Conference on Software Engineering and Formal Methods will be held virtually between 6 and 10 December 2021. The conference aims to bring together researchers and practitioners from academia, industry and government, to advance the state of the art in formal methods, to facilitate their uptake in the software industry, and to encourage their integration within practical software engineering methods and tools.


Call for Papers

The topics of interest include, but are not limited to, the following aspects of software engineering and formal methods.

  • Software Development Methods
  • Formal modeling, specification, and design
  • Software evolution, maintenance, re-engineering, and reuse
  • Design Principles
  • Programming languages
  • Domain-specific languages
  • Type theory
  • Abstraction and refinement
  • Software Testing, Validation, and Verification
  • Model checking, theorem proving, and decision procedures
  • Testing and runtime verification
  • Statistical and probabilistic analysis
  • Software synthesis
  • Lightweight and scalable formal methods
  • Analysis of dependability, performance and other non-functional properties
  • Resilience, security, privacy, and trust
  • Safety-critical, fault-tolerant, and secure systems
  • Software assurance and certification
  • Applications and Technology Transfer
  • Self-adaptive systems
  • Service-oriented and cloud computing systems, Internet of Things
  • Component-based and multi-agent systems
  • Real-time, hybrid, and cyber-physical systems
  • Intelligent systems and machine learning
  • HCI, interactive systems, and human error analysis
  • Education
  • Special topic at SEFM 2021: “Software Engineering and Formal Methods for Resilient and Trustworthy Autonomous Systems”
  • Resilient autonomous systems
  • Verification and assurance of autonomous systems
  • Mitigation of uncertainty and disruption in autonomous systems
  • Integration of conventional software and machine learning
  • Assurance patterns and assurance cases for autonomous systems
  • Case studies, best practices, and experience reports

Paper submission
We solicit two categories of papers:

Regular papers describing original research results, case studies, or surveys. Regular papers should not exceed 15 pages, excluding bibliography.
Two more pages containing only references are permitted.

Tool papers that describe an operational tool and its contributions. Tool papers should not exceed 6 pages (including bibliography) and should include the URL of the tool.

All submissions must be original, unpublished, and not submitted concurrently for publication elsewhere.

Submission
Paper submission is done via EasyChair: https://easychair.org/conferences/?conf=sefm2021
Papers must be formatted according to the guidelines for Springer LNCS papers.

Publication
All accepted papers will appear in the proceedings of the conference, which will be published as a volume in Springer's Lecture Notes in Computer Science series.

Important dates
Abstract submission: Monday 19 July 2021 (AOE)
Paper submission: Friday 23 July 2021 (AOE)
Author notification: Friday 24 September 2021
Camera-ready submission: Friday 08 October 2021
Conference: 6-10 December 2021



Best Deals



Summary

SEFM 2021 : The 19th edition of the International Conference on Software Engineering and Formal Methods will take place in Virtual. It’s a 5 days event starting on Dec 06, 2021 (Monday) and will be winded up on Dec 10, 2021 (Friday).

SEFM 2021 falls under the following areas: SOFTWARE ENGINEERING, FORMAL METHODS, COMPUTER SCIENCE, etc. Submissions for this Conference can be made by Jul 23, 2021. Authors can expect the result of submission by Sep 24, 2021. Upon acceptance, authors should submit the final version of the manuscript on or before Oct 08, 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 SEFM 2021

  • Short Name: SEFM 2021
  • Full Name: The 19th edition of the International Conference on Software Engineering and Formal Methods
  • Timing: 09:00 AM-06:00 PM (expected)
  • Fees: Check the official website of SEFM 2021
  • Event Type: Conference
  • Website Link: https://sefm-conference.github.io/
  • Location/Address: Virtual


Credits and Sources

[1] SEFM 2021 : The 19th edition of the International Conference on Software Engineering and Formal Methods


Check other Conferences, Workshops, Seminars, and Events


OTHER SOFTWARE ENGINEERING EVENTS

SEA 2021: 10th International Conference on Software Engineering and Applications
Copenhagen, Denmark
Jun 19, 2021
SOENG 2021: 7th International Conference on Software Engineering
Copenhagen, Denmark
Apr 24, 2021
ICICA 2021: 10th International Conference on Intelligent Computing and Applications
Melbourne, Australia
Jun 25, 2021
ICCMS 2021: The 13th International Conference on Computer Modeling and Simulation
Melbourne, Australia
Jun 25, 2021
ITCSE 2021: 10th International Conference on Information Technology Convergence and Services
Sydney, Australia
Jun 26, 2021
SHOW ALL

OTHER FORMAL METHODS EVENTS

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
FormaliSE 2021: International Conference on Formal Methods in Software Engineering
Madrid, Spain
May 23, 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 COMPUTER SCIENCE EVENTS

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
SILM 2021: 3rd Workshop on the Security of Software / Hardware Interfaces
Online
Sep 06, 2021
SHOW ALL