학회 정보
FormaliSE 2027: International Conference on Formal Methods in Software Engineering
조회: 16374 팔로우: 1 참가: 1
마감 카운트다운 배지 삽입
이 데이터를 API로 가져오기
검색과 순위 목록은 자격 증명이 전혀 필요 없습니다. 이 페이지의 상세 데이터에는 무료 API 키가 필요합니다. 자세한 내용은 개발자 안내 페이지를 참고하세요.
회반 지수 (CP-I)
52.6
/ 100
전체 5,771개 중 1,208위 ·
상위 21%
| 학술적 인정 (35%) | 데이터 없음 — 중립 기준값 50점으로 계산 | — |
| 투고 선별성 (20%) | 데이터 없음 — 중립 기준값 50점으로 계산 | — |
| 개최 횟수 (20%) |
|
75 |
| 커뮤니티 관심도 (10%) |
|
19 |
| 공개 자료 충실도 (15%) |
|
55 |
사용한 입력: 확인되는 개최 횟수: 15 · 회반에서 팔로우 중인 연구자: 1명 · 지난 24개월 동안 이 페이지를 연 연구자: 4명
공개 자료에서 빠진 항목:
역대 게재율 (+4.5) · 최우수 논문 기록 (+2.3)
주최자는 학회를 인증 신청한 뒤 이 페이지에서 바로 추가할 수 있습니다. 점수는 매일 밤 다시 계산됩니다. 이 점수를 올리는 방법
신뢰도 45% — 점수 중 중립 기준값이 아니라 실제 관측된 데이터에 근거한 비율. 이 점수는 어떻게 계산되나 · 전체 순위 보기 · 알고리즘 버전 1.2 · 산출일 2026-11-10
다음 회차 논문 모집이 시작되면 알려드립니다
이번 회차는 종료되었습니다. 무료 계정을 만들면 다음 회차 논문 모집이 공개되는 즉시 이메일로 알려드립니다.
지난 회차를 기준으로 다음 마감일은 2027-10 무렵으로 예상됩니다.
계정은 무료입니다. 이메일은 하루 최대 한 통이며, 모든 이메일에 원클릭 수신거부 링크가 있습니다.
논문 모집
FormaliSE 2027 (International Conference on Formal Methods in Software Engineering) is an academic conference held in Dublin, Ireland on 2027-04-26. The paper submission deadline is 2026-10-30. Acceptance notifications are sent on 2027-01-11.
최종 수정: Admin Agent ()
관련 학회
| CCF | ICORE | CP-I | 약칭 | 정식 명칭 | 투고 마감 | 개최일 |
|---|---|---|---|---|---|---|
| B | 70.5 | SEFM | International Conference on Software Engineering and Formal Methods | 2022-06-20 | 2022-09-28 | |
| 42.1 | SOFTFM | International Conference on Software Engineering Advances and Formal Methods | 2022-09-24 | 2022-10-22 | ||
| 44.5 | iFS | International Conference on Foundations and Formal Methods for Software and Systems | 2026-10-15 | 2027-04-10 | ||
| C | C | 74.8 | ICFEM | International Conference on Formal Engineering Methods | 2026-06-01 | 2026-11-17 |
| 40.7 | FMA | International Symposium Formal Methods in Architecture | 2017-10-01 | 2018-04-02 | ||
| B | B | 69.4 | FMCAD | Formal Methods in Computer-Aided Design | 2026-05-04 | 2026-09-14 |
| A | A* | 96.0 | SIGIR | International Conference on Research and Development in Information Retrieval | 2027-01-14 | 2027-07-18 |
| A | A* | 97.8 | AAAI | AAAI Conference on Artificial Intelligence | 2026-07-21 | 2027-02-16 |
| A | A* | 94.9 | CVPR | IEEE Conference on Computer Vision and Pattern Recognition | 2026-11-10 | 2027-06-20 |
| B | A* | 89.8 | ICRA | International Conference on Robotics and Automation | 2026-09-15 | 2027-05-24 |
관련 저널
| CCF | 정식 명칭 | 영향력 지수 | 출판사 | ISSN |
|---|---|---|---|---|
| Optimization Methods and Software | 1.4 | Taylor & Francis | 1055-6788 | |
| Computer Methods in Applied Mechanics and Engineering | 7.3 | Elsevier | 0045-7825 | |
| Archives of Computational Methods in Engineering | 12.1 | Springer | 1134-3060 | |
| Advances in Engineering Software | 5.7 | Elsevier | 0965-9978 | |
| B | Formal Methods in System Design | 0.8 | Springer | 0925-9856 |
| A | IEEE Transactions on Multimedia | 9.7 | IEEE | 1520-9210 |
| C | Knowledge-Based Systems | 7.2 | Elsevier | 0950-7051 |
| B | Software & Systems Modeling | 3.2 | Springer | 1619-1366 |
| A | IEEE Transactions on Computers | 3.8 | IEEE | 0018-9340 |
| C | Future Generation Computer Systems | 5.9 | Elsevier | 0167-739X |
댓글 0
댓글을 작성하려면 로그인해 주세요
아직 댓글이 없습니다.