conferences.computer.science

All conferences / SEFM / 2022

SEFM 2022

20th International Conference on Software Engineering and Formal Methods

Held28–30 Sep 2022 WhereBerlin 🇩🇪 RankCORE B Website sefm-conference.github.io/2022/ ↗
Closed

Submission closed on 26 Jun 2022.

Submission timeline

  • 20 Jun 2022 Abstract registration AoE
  • 26 Jun 2022 Full paper AoE
  • 7 Aug 2022 Notification
  • 28 Sep 2022 Conference opens

What to submit

Format
15 pages + bibliography (research / tools / case studies) / 6 pages (New ideas/Work-in-Progress) LNCS
Proceedings
Springer LNCS — Paywalled, for-profit

Appendix: 2 pages allowed (not integrated in the proceedings).

Call for papers

The call, as published

Reproduced verbatim from the organisers’ announcement. The conference’s own page is at sefm-conference.github.io/2022/. 

************************************************************************
Call for Papers - SEFM'22
20th Int. Conf. on Software Engineering and Formal Methods
28-30 September 2022
************************************************************************

SEFM'22 will be held Sept. 28 - 30, 2022,
with workshops on Sept. 26 and 27 and a SEFM school Sept. 20-24.
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.

Depending on the further development of the current pandemic,
the conference will be either purely virtual or in-person-only
at Humboldt University, Berlin. Authors should be prepared for both
types; the decision will be communicated at the end of May 2022.

The topics of interest include, but are not limited to,
the following aspects of software engineering and formal methods.
  • Software Development Methods
  • Design Principles
  • Software Testing, Validation, and Verification
  • Applications and Technology Transfer

Special topic at SEFM'22 is
"Software Engineering and Formal Methods for
 Intelligent and Learning Systems", which includes
  • Formal specification of tasks for ML
  • Data management and data preparation
  • Autonomous and self-adaptive systems
  • Test generation for ML components
  • Verification of safety and security for artificial intelligence
  • Integration of conventional software and machine learning
  • AI for the improvement of formal methods
  • Use of AI in software engineering

Regular papers describing original research results, case studies,
or surveys, should not exceed 12 pages. Tool papers that describe an
operational tool and its contributions should not exceed 6 pages.
Industrial papers that describe the usage of formal methods in
industrial applications, case studies, best practices, or experience
reports are also limited to 6 pages (including bibliography).
All accepted papers will appear in Springer LNCS.

Important dates:
•    Paper submission: Sunday 26 Jun 2022 (AOE)
•    Camera-ready submission: Sunday 28 August 2022
•    Conference: 28 - 30 September 2022

Conference Website: https://sefm-conference.github.io/2022/

************************************************************************

Prof. Dr. Holger Schlingloff
  Inst. f. Informatik, Humboldt-Universität zu Berlin, Germany
  FhG-FOKUS, Kaiserin-Augusta-Allee 31, 10589 Berlin, Germany

Prof. Dr. Chai Ming
 School of Electronic and Information Engineering
 of Beijing Jiaotong University, China

Data entirely hand-typed, one call for papers at a time. There is no scraper behind any of this: I read the announcement and type the dates in, in the gaps between other work, and with the hope it is useful to others. Organisers then move deadlines without telling anyone, calls get edited in place, and now and then the typing is simply wrong. Treat this as a well-meaning notebook rather than an authority, and check the conference’s own page before you submit anything you care about.