会議情報
SEFM 2022: International Conference on Software Engineering and Formal Methods
https://sefm-conference.github.io/2022/
提出日:
2022-06-20
通知日:
2022-08-07
会議日:
2022-09-28
場所:
Online
年:
20
CORE: b   QUALIS: b1   閲覧: 19375   追跡: 7   出席: 2

論文募集
The 20th edition of the International Conference on Software Engineering and Formal Methods (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

    Formal modeling, specification, and design
    Automated software engineering
    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 and repair
    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
    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

Applications and Technology Transfer

    Case studies
    Best practices
    Experience reports
    Educational topics

Special topic at SEFM 2022: “Software Engineering and Formal Methods for Intelligent and Learning Systems”

    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
最終更新 Dou Sun 2022-03-05
合格率
時間提出受け入れ受け入れ(%)
2011832428.9%
20051204033.3%
20041443826.4%
2003652030.8%
関連会議
CCFCOREQUALIS省略名完全な名前提出日通知日会議日
NCITInternational Conference on Networks, Communication and Information Technology2022-10-20 2022-11-05
BDEInternational Conference on Big Data Engineering2022-02-102022-02-282022-05-26
CCBDIoTInternational Conference on Computing, Big Data and Internet of Things2024-09-102024-09-152024-09-27
ab1LPNMRInternational Conference on Logic Programming and Nonmonotonic Reasoning2013-04-172013-06-052013-09-15
L@SAnnual ACM Conference on Learning at Scale2018-01-212018-02-262018-06-26
ICELTICsInternational Conference on Electrical Engineering and Informatics2018-07-302018-08-142018-09-19
ICHSAInternational Conference on Harmony Search, Soft Computing and Applications2019-05-162019-06-152019-07-20
UBICNETInternational Conference on Ubiquitous Communications and Network Computing2019-10-312019-12-112020-02-28
DSAInternational Conference on Dependable Systems and Their Applications2023-05-252023-07-102023-08-10
aa*a1ICSEInternational Conference on Software Engineering2024-08-022024-11-012025-04-26
関連仕訳帳
CCF完全な名前インパクト ・ ファクター出版社ISSN
Journal of Computational Neuroscience1.500Springer0929-5313
aJournal of Cryptology2.300Springer0933-2790
International Journal of Information Management20.10Elsevier0268-4012
bJournal of Functional Programming1.100Cambridge University Press0956-7968
bJournal of Symbolic Computation0.600Elsevier0747-7171
Information Technology and Management2.300Springer1385-951X
International Journal on Bioinformatics & Biosciences AIRCC1839-9614
International Journal of E-Entrepreneurship and Innovation IGI Global1947-8585
Computer Science & Engineering: An International Journal AIRCC2231-3583
ISPRS Journal of Photogrammetry and Remote Sensing10.60Elsevier0924-2716
おすすめ