The Coq mailing list

[chaiming <chaiming AT bjtu.edu.cn>]

Dear Colleague,

Apologies if you receive this updated call more than once.

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

Updated Call for Papers and Tutorials - SEFM'22 

20th Int. Conf. on Software Engineering and Formal Methods

28-30 September 2022, Berlin, Germany

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

SEFM'22 will be held Sept. 28 - 30, 2022, in Berlin-Adlershof, with workshops on Sept. 26 and 27 and a SEFM school Sept. 20-24.

Tutorials will be scheduled Sept. 26/27.

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 conference will be in-person-only at Humboldt University, Berlin.

There will be keynote talks by

   • Uwe Nestmann, TU Berlin

   • Mariëlle Stoelinga, Radboud University and University of Twente

   • Alessio Lomuscio, Imperial College London, London

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 15 pages plus bibliography.

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 a dedicated Springer LNCS volume.

Selected papers will be invited to a special section of the Springer journal SoSyM - Software and Systems Modelling.

Tutorial suggestions should include a short abstract, intended audience, and duration. Tutorial speakers will be exempt from registration fees.

Important dates:

•    Paper submission: Sunday 26 Jun 2022 (AOE)

•    Camera-ready submission: Sunday 7 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