The Coq mailing list

[Holger Schlingloff <hs AT informatik.hu-berlin.de>]

Dear Colleague,
Apologies if you receive this call more than once.

************************************************************************
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/
Submission site: https://easychair.org/conferences/?conf=sefm22

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

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