[AISWorld] Updated Call for Papers and Tutorials - SEFM'22

[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