SEFM: Software Engineering and Formal Methods

FacebookTwitterLinkedInGoogle

 

Past:   Proceedings on DBLP

Future:  Post a CFP for 2022 or later   |   Invite the Organizers Email

 
 

All CFPs on WikiCFP

Event When Where Deadline
SEFM 2021 The 19th edition of the International Conference on Software Engineering and Formal Methods
Dec 6, 2021 - Dec 10, 2021 Virtual Jul 23, 2021 (Jul 19, 2021)
SEFM 2020 Software Engineering and Formal Methods
Sep 14, 2020 - Sep 18, 2020 Amsterdam May 4, 2020 (Apr 27, 2020)
SEFM 2019 Software Engineering and Formal Methods
Sep 16, 2019 - Sep 20, 2019 Oslo, Norway May 20, 2019 (May 13, 2019)
SEFM 2018 The 16th International Conference on Software Engineering and Formal Methods
Jun 27, 2018 - Jun 29, 2018 Toulouse, France Mar 2, 2018 (Feb 23, 2018)
SEFM 2017 15th International Conference on Software Engineering and Formal Methods
Sep 4, 2017 - Sep 8, 2017 Trento, Italy Apr 13, 2017 (Apr 6, 2017)
SEFM 2016 14th International Conference on Software Engineering and Formal Methods
Jul 4, 2016 - Jul 8, 2016 Vienna, Austria Feb 29, 2016 (Feb 22, 2016)
SEFM 2015 International Conference on Software Engineering and Formal Methods SEFM 2015
Sep 7, 2015 - Sep 11, 2015 York, UK Mar 20, 2015 (Mar 13, 2015)
SEFM 2014 12th International Conference on Software Engineering and Formal Methods
Sep 1, 2014 - Sep 5, 2014 Grenoble, France Mar 21, 2014 (Mar 14, 2014)
SEFM 2013 International Conference on Software Engineering and Formal Methods
Sep 23, 2013 - Sep 27, 2013 Madrid, Spain Apr 1, 2013 (Mar 25, 2013)
SEFM 2012 10th International Conference on Software Engineering and Formal Methods
Oct 1, 2012 - Oct 5, 2012 Thessaloniki, Greece Apr 19, 2012 (Apr 4, 2012)
SEFM 2011 9th International Conference on Software Engineering and Formal Methods
Nov 14, 2011 - Nov 18, 2011 Montevideo, Uruguay Apr 30, 2011 (Apr 23, 2011)
SEFM 2010 8th IEEE International Conference on Software Engineering and Formal Methods
Sep 13, 2010 - Sep 17, 2010 Pisa, Italy Mar 22, 2010
SEFM 2009 software engineering and formal methods
Nov 23, 2009 - Nov 27, 2009 Hanoi May 29, 2009 (May 15, 2009)
 
 

Present CFP : 2021

Call for Papers
Overview and Scope
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.

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
 

Related Resources

SANER 2021   The 28th edition of the IEEE International Conference on Software Analysis, Evolution and Reengineering
WAISE 2021   4th International Workshop on Artificial Intelligence Safety Engineering
SA-TTA 2021   The 9th track on Software Architecture: Theory, Technology, and Applications (SA-TTA) at the 36th ACM/SIGAPP Symposium On Applied Computing (SAC 2021)
COLA Journal (Elsevier) 2021   CFP: Special issue on “Methods, Tools and Languages for Model-driven Engineering and Low-code Development”
QuASoQ 2021   9th International Workshop on Quantitative Approaches to Software Quality
CoSim-CPS 2021   5th Workshop on Formal Co-Simulation of Cyber-Physical Systems
FMAS 2021   Third Workshop on Formal Methods for Autonomous Systems
WIIS 2021   Workshop on Intelligent Information Systems
RP 2021   15th International Conference on Reachability Problems (RP'21)
CALCO 2021    9th International Conference on  Algebra and Coalgebra in Computer Science