학회 정보

SEFM 2022: International Conference on Software Engineering and Formal Methods

학회 웹사이트를 보려면 로그인해 주세요
무료 가입으로 공식 사이트 조회, 마감 추적, 이메일 리마인더를 이용할 수 있습니다.
회원가입 로그인
마감 카운트다운 배지 삽입
SEFM
이 데이터를 API로 가져오기
검색과 순위 목록은 자격 증명이 전혀 필요 없습니다. 이 페이지의 상세 데이터에는 무료 API 키가 필요합니다. 자세한 내용은 개발자 안내 페이지를 참고하세요.
투고 마감일:
2022-06-20
통보일:
2022-08-07
개최일:
2022-09-28
개최지:
Online
개최 횟수:
20
ICORE: B   QUALIS: B1   조회: 27883   팔로우: 7   참가: 2

회반 지수 (CP-I)

70.5 / 100
전체 5,682개 중 327위 · 상위 6%

소프트웨어 공학 분야 247개 중 44위

학술적 인정 (35%)
78
투고 선별성 (20%)
78
개최 횟수 (20%)
82
커뮤니티 관심도 (10%)
28
공개 자료 충실도 (15%)
55

사용한 입력: 수록 등급: ICORE B, QUALIS B1 · 게재율: 29.9%(기록이 있는 4개 회차의 평균) · 확인되는 개최 횟수: 20 · 회반에서 팔로우 중인 연구자: 7명 · 지난 24개월 동안 이 페이지를 연 연구자: 2명

공개 자료에서 빠진 항목: 역대 회차 (+3.0) · 최우수 논문 기록 (+2.3)
주최자는 학회를 인증 신청한 뒤 이 페이지에서 바로 추가할 수 있습니다. 점수는 매일 밤 다시 계산됩니다. 이 점수를 올리는 방법

신뢰도 100% — 점수 중 중립 기준값이 아니라 실제 관측된 데이터에 근거한 비율. 이 점수는 어떻게 계산되나 · 전체 순위 보기 · 알고리즘 버전 1.1 · 산출일 2026-09-15

논문 모집

SEFM 2022 (International Conference on Software Engineering and Formal Methods) is a ICORE B / QUALIS B1 conference held in Online on 2022-09-28. The paper submission deadline is 2022-06-20. Acceptance notifications are sent on 2022-08-07.

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 ()

게재율

평균 게재율: 29.9% 4년간 (2003–2011).

연도투고 수게재 수게재율(%)
2011832428.9%
20051204033.3%
20041443826.4%
2003652030.8%

관련 학회

관련 저널

CCF정식 명칭영향력 지수출판사ISSN
Optimization Methods and Software1.4Taylor & Francis1055-6788
AIEEE Transactions on Multimedia9.7IEEE1520-9210
CKnowledge-Based Systems7.2Elsevier0950-7051
BSoftware & Systems Modeling3.2Springer1619-1366
AIEEE Transactions on Computers3.8IEEE0018-9340
CFuture Generation Computer Systems5.9Elsevier0167-739X
CNeurocomputing6.5Elsevier0925-2312
CPattern Recognition Letters3.9Elsevier0167-8655
BPattern Recognition7.6Elsevier0031-3203
IEEE Access3.6IEEE2169-3536

댓글 0

아직 댓글이 없습니다.

댓글을 작성하려면 로그인해 주세요